/* * General settings * -------------------------------------------------- */ body { font-family: Verdana, Helvetica, Arial, sans-serif; background-color: #ffffff; font-size: 13px; 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: 13px; line-height: 110%; } div.date { text-align: right; padding-right: 3px; margin-bottom: 2px; margin-top: -1em; } /* * Side menu */ div.vmenu { font-size: 13px; 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: */