terom@1: /*
terom@95:  * Debootstrap
terom@1:  */
terom@67: a:hover {
terom@67:     color: inherit;
terom@1: }
terom@1: 
terom@86: code {
terom@86:     color: inherit;
terom@86:     background-color: inherit;
terom@86: }
terom@86: 
terom@1: /*
terom@1:  * Top header
terom@1:  */
terom@1: div#header {
terom@1:     padding: 30px;
terom@1:     
terom@67:     border-bottom: 1px dashed #a5a5a5;
terom@67: }
terom@67: 
terom@67: div#header h1 {
terom@1:     font-size: 48pt;
terom@1:     font-weight: bold;
terom@1: }
terom@1: 
terom@11: div#header a:hover {
terom@11:     text-decoration: none;
terom@11: }
terom@11: 
terom@1: /*
terom@1:  * Main navigation menu
terom@1:  */
terom@67: #nav {
terom@71:     margin: 20px 0px;
terom@18: }
terom@18: 
terom@12: #nav ul {
terom@1: 
terom@1: }
terom@1: 
terom@12: #nav ul ul {
terom@67: 
terom@12: }
terom@12: 
terom@12: #nav li a {
terom@67: 
terom@1: }
terom@1: 
terom@12: #nav li a:hover {
terom@1:     background-color: #d0d0d0;
terom@1:     text-decoration: none;
terom@1: }
terom@1: 
terom@67: #nav li.page-tree-active {
terom@67:     background-color: #808080;
terom@2: }
terom@2: 
terom@1: /*
terom@1:  * Content
terom@1:  */
terom@1: div#content {
terom@1: 
terom@1: }
terom@20: 
terom@28: div#breadcrumb {
terom@67:     display: none;
terom@28:     font-size: x-small;
terom@28: }
terom@28: 
terom@21: /*
terom@21:  * Footer
terom@21:  */
terom@20: div#footer {
terom@67:     padding: 20px 0px;
terom@20: 
terom@20:     border-top: 1px dashed #a5a5a5;
terom@20: 
terom@20:     font-size: x-small;
terom@20:     font-style: italic;
terom@20: }
terom@21: 
terom@26: div#footer-left {
terom@26:     float: left;
terom@26: }
terom@26: 
terom@67: .page-footer-modified {
terom@21:     float: right;
terom@26:     text-align: right;
terom@26: }
terom@26: 
terom@26: div#footer-center {
terom@26:     text-align: center;
terom@21: }
terom@21: 
terom@21: /*
terom@21:  * General styles
terom@21:  */
terom@21: a {
terom@21:     color: black;
terom@21:     text-decoration: none;
terom@21:     font-weight: bold;
terom@21: }
terom@21: 
terom@21: a:hover {
terom@21:     text-decoration: underline;
terom@21: }
terom@21: 
terom@21: h1 {
terom@89:     font-size: xx-large;
terom@89: 
terom@89:     text-align: center;
terom@21: }
terom@21: 
terom@21: h2 {
terom@21:     font-size: large;
terom@89:     
terom@89:     margin-left: 0px;
terom@89:     padding: 5px;
terom@89:     width: 100%;
terom@89: 
terom@89:     background-color: #e5e5e5;
terom@89:     
terom@89:     border: 1px dashed #c5c5c5;
terom@89: }
terom@89: 
terom@89: h3 {
terom@89:     font-size: medium;
terom@89:     font-style: italic;
terom@21: }
terom@21: 
terom@67: #content p {
terom@24:     margin-left: 0.5em;
terom@24: }
terom@24: 
terom@21: #content li {
terom@21:     padding: 2px;
terom@21: }
terom@21: 
terom@21: #content a {
terom@21:     padding-right: 13px;
terom@21:     
terom@21:     background: transparent url(/static/link.png) no-repeat center right;
terom@21: }
terom@21: 
terom@89: dt {
terom@89:     font-size: large;
terom@89: }
terom@89: 
terom@89: dd {
terom@89:     margin: 1em auto 1em 5em;
terom@89: }
terom@89: 
terom@95: /* Inline code */
terom@95: 
terom@95: /* Code block */
terom@95: pre {
terom@89:     display: block;
terom@89:     margin: 8px;
terom@89:     padding: 8px;
terom@89: 
terom@89:     border: 1px dotted #b5b5b5;
terom@89: }