CSS refactoring

Get rid of margin and small-margin pseudo-classes: they were not
semantic.
Non-minimized custom jQuery UI for debugging

Was useful at least once!
Rewrite the Info accordion in a textual manner
Intro dialogs repositioned