+++ /dev/null
-body \r
-{ \r
- background-color: #EEEEEE; \r
- margin: 0px; \r
- padding: 0px;\r
-}\r
-\r
-/* Banner (top bar) classes */\r
-\r
-.banner { }\r
-\r
-.banner-menu \r
-{\r
- text-align: right;\r
- clear: both;\r
- padding: .5em;\r
- border-top: 2px solid #AAAAAA; \r
-}\r
-\r
-.banner-title \r
-{ \r
- text-align: right; \r
- font-size: 20pt; \r
- font-weight: bold; \r
- margin: .2em;\r
-}\r
-\r
-.package-selector \r
-{ \r
- background-color: #DDDDDD; \r
- border: 1px solid #AAAAAA; \r
- color: #000090;\r
-}\r