From 020eeafddee36b7142fceac4cd3bd67250a015fd Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sun, 12 Jun 2022 13:20:29 -0400 Subject: Clean up CSS for HTML man pages --- doc/.stylelintrc.json | 7 +++++++ doc/mandoc.css | 17 ++++++++++++++--- 2 files changed, 21 insertions(+), 3 deletions(-) create mode 100644 doc/.stylelintrc.json diff --git a/doc/.stylelintrc.json b/doc/.stylelintrc.json new file mode 100644 index 00000000..e551ef6b --- /dev/null +++ b/doc/.stylelintrc.json @@ -0,0 +1,7 @@ +{ + "extends": "/usr/lib/node_modules/stylelint-config-standard", + "rules": { + "color-hex-case": "upper", + "selector-list-comma-newline-after": "always-multi-line" + } +} diff --git a/doc/mandoc.css b/doc/mandoc.css index b78ad1ff..60987073 100644 --- a/doc/mandoc.css +++ b/doc/mandoc.css @@ -18,7 +18,7 @@ body { padding: 0; max-width: 60em; font-family: "SF Pro Text", Verdana, "DejaVu Sans", sans-serif; - text-rendering: optimizeLegibility; + text-rendering: optimizelegibility; } h1 { @@ -52,12 +52,15 @@ h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visit pre, tt, code { overflow: auto; font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed; + hyphens: none; + white-space: nowrap; + + /* stylelint-disable property-no-vendor-prefix */ -epub-hyphens: none; -moz-hyphens: none; -ms-hyphens: none; -webkit-hyphens: none; - hyphens: none; - white-space: nowrap; + /* stylelint-enable property-no-vendor-prefix */ } ul, ol, dl { @@ -137,6 +140,8 @@ dd:blank { /* Mandoc specific style */ +/* stylelint-disable selector-class-pattern */ + table.head { font-size: 0.708em; margin: 0.438em 0 1.854em; @@ -203,6 +208,8 @@ var.Ar { font-style: italic; } +/* stylelint-enable selector-class-pattern */ + /* Dark mode */ @media (prefers-color-scheme: dark) { html { @@ -230,6 +237,8 @@ var.Ar { color: #DDD; } + /* stylelint-disable selector-class-pattern */ + code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, code.Cd { color: #AAA; } @@ -241,6 +250,8 @@ var.Ar { code.Li { color: #CCC; } + + /* stylelint-enable selector-class-pattern */ } /* Hard black for dark mode on mobile (since it's likely to be an OLED screen) */ -- cgit v1.2.1