Dot Theme v1.0.1

This release fixes minor presentation issues.

Bug Fixes

• Recovered missing image used in some ajax components.

Improvements

• Present user's short presentation name instead of username for his login details.
• Minor css tweaks to improve display of search forms and tooltips.