Custom jQuery UI build with a custom theme
Right panel layout

Reduce the margins a little. Add background color.
For #62
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
Merge pull request #67 from hr0nix/ui-theming

UI theming