diff options
Diffstat (limited to 'tracker.0x7c0.com/style.css')
| -rw-r--r-- | tracker.0x7c0.com/style.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tracker.0x7c0.com/style.css b/tracker.0x7c0.com/style.css new file mode 100644 index 0000000..cf3c99e --- /dev/null +++ b/tracker.0x7c0.com/style.css @@ -0,0 +1,22 @@ +table.head, table.foot { width: 100%; } +td.head-rtitle, td.foot-os { text-align: right; } +td.head-vol { text-align: center; } +div.Pp { margin: 1ex 0ex; } +div.Nd, div.Bf, div.Op { display: inline; } +span.Pa, span.Ad { font-style: italic; } +span.Ms { font-weight: bold; } +dl.Bl-diag > dt { font-weight: bold; } +code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, +code.Cd { font-weight: bold; font-family: inherit; } + +html { font-family: monospace; line-height: 1.25em; font-size: 14px; } +body { max-width: 80ch; margin: 1em auto; padding: 0 1ch; } +table { border-collapse: collapse; } +table.Nm code.Nm { padding-right: 1ch; } +table.foot { margin-top: 1em; } + +html { background-color: var(--ansi16); color: var(--ansi17); } +a { color: var(--ansi4); } +a:visited { color: var(--ansi5); } +a.permalink { color: var(--ansi3); text-decoration: none; } + |