/* General settings for the entire page */
body {
margin:0px 0px 0px 0px;
padding:0px;
font-family:verdana, arial, helvetica, "sans serif";
color:#333;
background-color:white;
text-size-adjust: none;
}
/* consistent colours */
h2 {
color: #333;
}
h3 {
color: #333;
}
/* The project logo in the upper left-hand corner of each page */
div.logo {
display: table-cell;
text-align: left;
vertical-align: bottom;
font-weight: bold;
color: #333;
white-space: nowrap;
}
/* The page title centered at the top of each page */
div.title {
display: table-cell;
font-size: 2em;
font-weight: bold;
text-align: center;
color: #333;
vertical-align: bottom;
width: 100%;
}
/* The login status message in the top right-hand corner */
div.status {
display: table-cell;
padding-right: 10px;
text-align: right;
vertical-align: bottom;
padding-bottom: 5px;
color: #333;
font-size: 0.8em;
font-weight: bold;
white-space: nowrap;
}
/* The header across the top of the page */
header {
margin:10px 0px 10px 0px;
padding:1px 0px 0px 20px;
border-style:solid;
border-color:black;
border-width:1px 0px;
background-color:#eee;
}
/* The main menu bar that appears at the top left of the page beneath
** the header. Width must be co-ordinated with the container below */
nav.mainmenu {
float: left;
margin-left: 10px;
margin-right: 20px;
font-size: 0.9em;
font-weight: bold;
padding:5px;
background-color:#eee;
border:1px solid #999;
width:6em;
}
/* Main menu is now a list */
nav.mainmenu ul {
padding: 0;
list-style:none;
}
nav.mainmenu a, nav.mainmenu a:visited{
padding: 1px 10px 1px 10px;
color: #333;
text-decoration: none;
}
nav.mainmenu a:hover {
color: #eee;
background-color: #333;
}
/* Container for the sub-menu and content so they don't spread
** out underneath the main menu */
#container {
padding-left: 9em;
}
/* The submenu bar that *sometimes* appears below the main menu */
div.submenu, div.sectionmenu {
padding: 3px 10px 3px 10px;
font-size: 0.9em;
text-align: center;
border:1px solid #999;
border-width:1px 0px;
background-color: #eee;
color: #333;
}
div.submenu a, div.submenu a:visited, div.sectionmenu>a.button:link,
div.sectionmenu>a.button:visited, div.submenu label {
padding: 3px 10px 3px 10px;
color: #333;
text-decoration: none;
}
div.submenu a:hover, div.sectionmenu>a.button:hover, div.submenu label:hover {
color: #eee;
background-color: #333;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
div.content {
padding: 2ex 1ex 0ex 2ex;
}
/* Some pages have section dividers */
div.section {
margin-bottom: 0px;
margin-top: 1em;
padding: 1px 1px 1px 1px;
font-size: 1.2em;
font-weight: bold;
border-style:solid;
border-color:#999;
border-width:1px 0px;
background-color: #eee;
color: #333;
white-space: nowrap;
}
/* The "Date" that occurs on the left hand side of timelines */
div.divider {
background: #eee;
border: 2px #999 solid;
font-size: 1em; font-weight: normal;
padding: .25em;
margin: .2em 0 .2em 0;
float: left;
clear: left;
color: #333;
white-space: nowrap;
}
/* The footer at the very bottom of the page */
footer {
font-size: 0.8em;
margin-top: 12px;
padding: 5px 10px 5px 10px;
text-align: right;
background-color: #eee;
color: #555;
}
/* <verbatim> blocks */
pre.verbatim {
background-color: #f5f5f5;
padding: 0.5em;
white-space: pre-wrap;
}
/* The label/value pairs on (for example) the ci page */
table.label-value th {
vertical-align: top;
text-align: right;
padding: 0.2ex 2ex;
}