/* * General settings * -------------------------------------------------- */ body { font-family: Verdana, Helvetica, Arial, sans-serif; background-color: #ffffff; font-size: 12px; line-height: 110%; } /* * No underline for links * Nice dark blue values for links */ a:link { text-decoration: none; } a:visited { text-decoration: none; } div.page { padding-left: 90px; padding-right: 90px; margin-bottom: 2em; } h3#pagetitle { margin: 0; position: relative; top: -0.7em; left: 15px; border: 1px solid black; background: white; padding: 0 0.5em; padding-bottom: 2px; padding-top: 1px; display: inline; } div#border { border: 1px solid #000000; background-color: #e2e2e2; margin-left: 3px; } div#content { padding-left: 50px; padding-right: 30px; margin-top: -1em; font-size: 12px; line-height: 110%; } div.date { text-align: right; padding-right: 3px; margin-bottom: 2px; margin-top: -1em; } /* * Logbook */ div#logenv { padding-left: 0%; padding-right: 0%; margin-top: 2em; margin-bottom: 2em; margin-left: -20px; margin-right: -5px; } h3#logtitle { padding-left: 1%; } h3#logtitle a { color: black; } div#logbody { border: 1px solid #000000; background-color: #ffffff; } div#logcontent { padding-left: 1%; padding-right: 1%; font-size: normal; } div.logfoot { clear: both; font-size: small; margin-left: 0.5em; margin-right: 0.5em; margin-bottom: 5px; } div.logfootleft { text-align: left; } div.logfootright { text-align: right; } div.soclink { float: left; padding: 0px 2px 0px 2px; } pre { border: 1pt solid #cfcfcf; background-color: #F3F5F7; padding: 2px; padding-left: 2px; font-family: courier, monospace; white-space: pre; /* begin css 3 or browser specific rules - do not remove! * see: http://forums.techguy.org/archive/index.php/t-249849.html */ white-space: pre-wrap; word-wrap: break-word; white-space: -moz-pre-wrap; white-space: -pre-wrap; white-space: -o-pre-wrap; /* end css 3 or browser specific rules */ } p.img img { display: block; margin-left: auto; margin-right: auto; border: 1px solid #cfcfcf; } .font { font-size: small; } /* * Side menu */ div.vmenu { font-size: 12px; font-weight: bold; padding: 0; margin-top: 10px; } div.vmenu p { height: 5px; width: 100%; background: #5dbbf9; padding: 0; margin: 0; } div.vmenu ul { list-style: none; padding: 0; margin-top: 10px; margin-bottom: 10px; } div.vmenu ul li a { display: block; width: 100%; text-decoration: none; text-align: center; padding: 2px 2px 2px 0.5em; background-color: #5dbbf9; } div.vmenu ul li a#current { color: #000000; background-color: #97c9ed; } div.vmenu ul li a:hover { color: #000000; background-color: #0092f8; } div.vmenu ul li a.topic { background-color: #bfbfbf; padding-top: 2px; } html>body div.vmenu ul li a { width: auto; } /* * Local variables: * mode: indented-text * mode: auto-fill * End: */