universe@259: a {
universe@259:     color: #2e2eaf;
universe@259:     text-decoration: none;
universe@259: }
universe@259: 
universe@259: a:hover {
universe@259:     text-decoration: underline;
universe@259:     text-decoration-style: dotted; // not supported in IE / Edge
universe@259: }
universe@259: 
universe@264: #page-header, h1, h2, h3, #sidebar {
universe@226:     font-family: sans-serif;
universe@226: }
universe@226: 
universe@264: #page-header {
universe@226:     padding-top: 0.3em;
universe@226:     padding-bottom: 0.5em;
universe@226:     margin-bottom: 2em;
universe@226:     border: none;
universe@259:     border-bottom-width: 1pt;
universe@259:     border-bottom-style: solid;
universe@259:     border-bottom-color: #2e2e2e;
universe@226: }
universe@226: 
universe@264: #page-header span {
universe@226:     font-size: 2em;
universe@226:     font-weight: bold;
universe@264:     color: #2e2e2e;
universe@226: }
universe@226: 
universe@264: #page-header img {
universe@226:     float: right;
universe@226: }
universe@226: 
universe@256: #sidebar {
universe@226:     float: left;
universe@226:     width: 15em;
universe@226: }
universe@226: 
universe@256: .nav {
universe@226:     color: black;
universe@259:     background-color: #e9ebec;
universe@226:     margin-bottom: 1em;
universe@226:     padding-bottom: 0.1em;
universe@226: }
universe@226: 
universe@256: .nav h3 {
universe@226:     color: white;
universe@259:     background-color: #5b6f7a;
universe@226:     font-size: 1.2em;
universe@226:     padding-top: 0.2em;
universe@226:     padding-bottom: 0.2em;
universe@226:     padding-left: 0.5em;
universe@226:     margin-top: 0;
universe@226: }
universe@226: 
universe@256: .nav ul {
universe@226:     margin-top: 0;
universe@226:     padding-top: 0;
universe@264:     padding-left: 2em;
universe@226:     font-size: 0.95em;
universe@226: }
universe@226: 
universe@256: #content {
universe@226:     margin-left: 16em;
universe@226:     padding: 0;
universe@226:     font-family: serif;
universe@226:     font-size: 1em;
universe@226:     min-width: 16em;
universe@226: }
universe@226: 
universe@256: #content h1 {
universe@226:     color: white;
universe@259:     background-color: #5b6f7a;
universe@226:     font-size: 1.2em;
universe@226:     padding-top: 0.2em;
universe@226:     padding-bottom: 0.2em;
universe@226:     padding-left: 0.5em;
universe@226:     padding-right: 0;
universe@226:     margin-top: 0;
universe@226: }
universe@226: 
universe@256: #content h2 {
universe@259:     color: #2e2e2e;
universe@226:     font-size: 1.2em;
universe@259:     border-bottom-color: #5b6f7a;
universe@259:     border-bottom-style: solid;
universe@259:     border-bottom-width: 1pt;
universe@259:     width: 100%;
universe@226: }
universe@226: 
universe@256: #content h3 {
universe@226:     font-size: 1.05em;
universe@226: }
universe@267: 
universe@267: #modules table {
universe@267:     border-collapse: separate;
universe@267:     border-spacing: .25em;
universe@267: }
universe@267: 
universe@267: #modules td > a {
universe@267:     display: table-cell;
universe@267:     text-align: center;
universe@267:     vertical-align: middle;
universe@267:     width: 10em;
universe@267:     height: 2em;
universe@267:     border-style: solid;
universe@267:     border-width: 1pt;
universe@267:     border-color: #2e2e2e;
universe@267: }
universe@267: 
universe@267: #modules td > a:hover {
universe@267:     background: #e9ebec;
universe@267: }