You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

106 lines
2.2 KiB

/*
* Site top part CSS rules
*/
#site-top {
display: block;
width: 100%;
padding: 20px 0px 20px 0px;
border: 0;
margin: 0;
background: #444444;
color: #ffffff;
box-shadow: 7px 7px 15px #bbbbbb;
/* This only matters if the browser is so narrow that the nav
* div clears the logo. This rule extends the dark background
* to cover the nav even in that case.
*/
overflow: auto;
/* Font is already set here so that we can size both the logo
* and the nav float using the same font point size (point
* sizes refer to -parent- font).
*/
font-family: 'Droid Sans Mono', sans-serif;
font-size: 24pt;
font-weight: 400;
}
@media print {
#site-top {
display: none;
}
}
#site-top-logo {
display: inline;
margin: 0 0 0 0.5em; /* logo font */
}
#logo {
display: inline;
font-family: 'Droid Sans Mono', sans-serif;
font-size: 24pt;
font-weight: 400;
color: #ffffff;
text-shadow: 3px 3px 3px #000000;
filter: dropshadow(color=#000000, offx=3, offy=3);
}
@media print {
/* Note: not actually displayed now in print (the entire top
* div is hidden).
*/
#logo {
font-family: 'Droid Sans Mono', sans-serif;
font-size: 20pt;
font-weight: 400;
}
}
#site-top-nav {
display: block;
float: right;
margin: 0 0.75em 0 0; /* logo font */
}
#site-top-nav ul {
display: inline;
vertical-align: bottom;
line-height: 24pt;
margin: 0;
border: 0;
padding: 0;
/* 'line-height' in this element is sized using logo font inherited
* from #site-top. The margins in #site-top-nav are sized using the
* navigation font which needs to be set here (in the parent) for that
* to be possible.
*/
font-family: 'Droid Sans Mono', sans-serif;
font-size: 18pt;
font-weight: 400;
}
#site-top-nav ul li {
display: inline;
vertical-align: bottom;
margin: 0 0.5em 0 0;
font-family: 'Droid Sans Mono', sans-serif;
font-size: 18pt;
font-weight: 400;
color: #cccccc;
}
#site-top-nav ul li a {
color: #cccccc;
text-decoration: none;
}
#site-top-nav ul li.selected a {
color: #ffffff;
text-shadow: 3px 3px 3px #000000;
filter: dropshadow(color=#000000, offx=3, offy=3);
}
#site-top-nav ul li a:hover {
color: #9999ff;
text-shadow: 3px 3px 3px #000000;
filter: dropshadow(color=#000000, offx=3, offy=3);
}