diff options
Diffstat (limited to 'docs/media/banner.css')
-rw-r--r-- | docs/media/banner.css | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/docs/media/banner.css b/docs/media/banner.css new file mode 100644 index 0000000..f2149eb --- /dev/null +++ b/docs/media/banner.css @@ -0,0 +1,32 @@ +body +{ + background-color: #CCCCFF; + margin: 0px; + padding: 0px; +} + +/* Banner (top bar) classes */ + +.banner { } + +.banner-menu +{ + clear: both; + padding: .5em; + border-top: 2px solid #6666AA; +} + +.banner-title +{ + text-align: right; + font-size: 20pt; + font-weight: bold; + margin: .2em; +} + +.package-selector +{ + background-color: #AAAADD; + border: 1px solid black; + color: yellow; +} |