Blame | Letzte Änderung | Log anzeigen | RSS feed
/* Pretty simple stylesheet for CSS: adjust font-family, color, background-color to taste */body{font-size:85%; margin:0; padding:0 5px;font-family: Georgia, Verdana,sans-serif;color:navy;background:white;}h1,h2,h3,h4,h5,h6 {margin-top:.5em; margin-bottom:.1em;font-family:Verdana,sans-serif;color:darkred;}table {font-size:100%}th, td {vertical-align:top;}a {color:darkgreen; text-decoration:none}a:hover{ color:white; background-color:darkgreen; text-decoration:none;}pre, code {color:black; background-color:white; font-size:8pt}p {margin-top:.3em; margin-bottom:.7em}ul {list-style-type:disc}li {margin-bottom:.3em}hr {color:darkred; background-color:darkred}h1 {margin-top:0}/* Public domain: found at http://www.unverse.net/whizzery/simple.css */