style.css (1213B)
1 /* Header and footer */ 2 header nav table { width: 100%; } 3 .logo img { max-width: 3em; margin: 0 0 0 0; } 4 .links { text-align: right; font-weight: bold; } 5 .links a { font-weight: bold; color: black; } 6 footer table { font-style: italic; width: 100%; } 7 .hosted { text-align: right; } 8 .hosted a, .contact a { font-weight: bold; } 9 10 /* Content */ 11 html { margin: 1em auto; max-width: 42em; font-family: sans-serif } 12 h1 { font-size: 1.8em; text-align: center; } 13 h2 { font-size: 1.6em; } 14 h3 { font-size: 1.05em; } 15 body { margin: auto 8px 20px 8px; } 16 a { color: #0f2899; text-decoration: none; } 17 a:hover { text-decoration: underline; } 18 img { display: block; margin-left: auto; margin-right: auto; max-width: 100%; } 19 pre { background-color: #eeeeee; border: 2px solid; padding: 20 6px; overflow-x: auto; } 21 pre code { padding: 0px; } 22 code { background-color: #eeeeee; padding: 2px; } 23 #blob { background: #ffffff; border: none; } 24 25 /* Tables */ 26 table { width: 100%; } 27 td h1 { text-align: left; font-size: 1.5em; } 28 #files td { font-family: monospace; font-size: 1.2em; min-width: 7em; } 29 #log tr:hover td, #files tr:hover td { background-color: #eeeeee; } 30 .url td { font-family: monospace; } 31 table tr td a img { min-width: 33px; }