diff options
Diffstat (limited to 'src/style-5.css')
| -rw-r--r-- | src/style-5.css | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/style-5.css b/src/style-5.css new file mode 100644 index 0000000..78f0319 --- /dev/null +++ b/src/style-5.css | |||
| @@ -0,0 +1,29 @@ | |||
| 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; } | ||
| 12 | h1 { text-align: center; } | ||
| 13 | body { margin: auto 8px 20px 8px; } | ||
| 14 | a { color: #0f2899; text-decoration: none; } | ||
| 15 | a:hover { text-decoration: underline; } | ||
| 16 | img { display: block; margin-left: auto; margin-right: auto; max-width: 100%; } | ||
| 17 | pre { background-color: #eeeeee; border: 2px solid; padding: | ||
| 18 | 6px; overflow-x: auto; } | ||
| 19 | pre code { padding: 0px; } | ||
| 20 | code { background-color: #eeeeee; padding: 2px; } | ||
| 21 | #blob { background: #ffffff; border: none; } | ||
| 22 | |||
| 23 | /* Tables */ | ||
| 24 | table { width: 100%; } | ||
| 25 | td h1 { text-align: left; font-size: 1.5em; } | ||
| 26 | #files td { font-family: monospace; font-size: 1.2em; min-width: 7em; } | ||
| 27 | #log tr:hover td, #files tr:hover td { background-color: #eeeeee; } | ||
| 28 | .url td { font-family: monospace; } | ||
| 29 | table tr td a img { min-width: 33px; } | ||
