body { font-family: Verdana, "Bitstream Vera Sans", sans-serif; font-size: medium; background-color: #aaaaaa; } h1, h2, h3, h4 { font-weight: bold; margin-bottom: -10px; margin-top: +20px; color: #a0a0a0 } h1 { font-size: 140%; } h2 { font-size: 120%; } h3 { font-size: 110%; } h4 { font-size: 105%; } span.title { color:#182C41; } .toc { float: right; border:thin solid #aaaaaa; -moz-box-shadow: 0px 0px 8px #aaaaaa; -webkit-box-shadow: 0px 0px 8px #aaaaaa; box-shadow: 0px 0px 8px #aaaaaa; -moz-border-radius: 5px; border-radius: 5px; z-index: 1; background-color: white; } .toc ol { font-size: small; padding-left: 2.5em; padding-right: 0.5em; } a { color: #182C41 !important; text-decoration: none; font-weight: normal; } a:hover { text-decoration: underline; } #content a { font-weight: bold; } #content .toc a { font-weight: normal !important; } #searchform div:before { font-size: small; vertical-align: top; color:#182C41; content: "search:"; } #searchform input { border-top: none; border-bottom: none; vertical-align: bottom; margin-right: 7px; } input { border: solid 1px; border-color: #aaa; } div.pageheader { margin-top: 1em; } /* the upper part of the header */ .pageheader .header { color: black; background-color:#ADD8E6; padding-left: 10px; padding-right: 10px; padding-top: 0.25em; padding-bottom: 0.25em; -moz-border-radius-topleft: 10px; border-top-left-radius: 10px; -moz-border-radius-topright: 10px; border-top-right-radius: 10px; -moz-box-shadow: 0px 0px 8px #000; -webkit-box-shadow: 0px 0px 8px #000; box-shadow: 0px 0px 8px #000; } /* the lower part of the header */ .pageheader .actions ul { padding-left: 10px; padding-right: 10px; padding-bottom: 0.5em; font-size: small; background-color: white; -moz-border-radius-bottomleft: 10px; border-bottom-left-radius: 10px; -moz-border-radius-bottomright: 10px; border-bottom-right-radius: 10px; -moz-box-shadow: 0px 0px 8px #000; -webkit-box-shadow: 0px 0px 8px #000; box-shadow: 0px 0px 8px #000; } #content { padding-left: 1em; padding-right: 1em; padding-top: 0.25em; padding-bottom: 0.25em; margin-top: 1em; margin-bottom: 1em; background-color: white; -moz-border-radius: 10px; border-radius: 10px; -moz-box-shadow: 0px 0px 8px #000; -webkit-box-shadow: 0px 0px 8px #000; box-shadow: 0px 0px 8px #000; } #pageinfo { padding-left: 1em; padding-right: 1em; padding-top: 0.5em; padding-bottom: 0.5em; background-color: white; border-top: thin none black; -moz-border-radius: 10px; border-radius: 10px; font-size: small; background-color: white; -moz-box-shadow: 0px 0px 8px #000; -webkit-box-shadow: 0px 0px 8px #000; box-shadow: 0px 0px 8px #000; } div#backlinks { margin-top: 0em; } .floatright { float: right; } /* Source code examples and commands */ pre { border: thin none; display: block; padding: 5px 2em; background-color: #e6e6e6; -moz-border-radius: 5px; border-radius: 5px; border: thin solid #aaaaaa; overflow: auto; } /* Data table */ table.datatable { border: 1px solid #aaaaaa; border-collapse: collapse; margin-left: auto; margin-right: auto; } table.datatable thead th { color: #a0a0a0 } table.datatable tbody tr:hover { background-color: #ADD8E6; } table.datatable th, td { border: 1px solid #aaaaaa; text-align: center; padding: 0.25em; } /* screenshots */ div.screenshots { display: table; margin-left: auto; margin-right: auto; } /* the signin form */ form#signin { overflow: auto; }