CSS Cleaning
This moves out some part of the default theme to the base.css file. This also removes some useless properties (already defined at the global level) and add some comments, but besides that, no code modifications.
This moves out some part of the default theme to the base.css file. This also removes some useless properties (already defined at the global level) and add some comments, but besides that, no code modifications.