diff options
author | David Robillard <d@drobilla.net> | 2022-06-15 13:04:02 -0400 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2022-07-17 17:08:38 -0400 |
commit | a479e8057f5404b0af44f78698f950fbba509c41 (patch) | |
tree | d25bf14aaae285b93888a8b8b4f411d063f3631a | |
parent | 663fe633b7a706cba761265352385aa4d4faf6d4 (diff) | |
download | lv2-a479e8057f5404b0af44f78698f950fbba509c41.tar.xz |
Clean up documentation CSS
-rw-r--r-- | .stylelintrc.json | 8 | ||||
-rw-r--r-- | doc/style.css | 56 |
2 files changed, 28 insertions, 36 deletions
diff --git a/.stylelintrc.json b/.stylelintrc.json new file mode 100644 index 0000000..473a3da --- /dev/null +++ b/.stylelintrc.json @@ -0,0 +1,8 @@ +{ + "extends": "/usr/lib/node_modules/stylelint-config-standard", + "rules": { + "color-hex-case": "upper", + "selector-list-comma-newline-after": "always-multi-line", + "no-descending-specificity": "off" + } +} diff --git a/doc/style.css b/doc/style.css index 2385438..cd9ee0e 100644 --- a/doc/style.css +++ b/doc/style.css @@ -22,7 +22,7 @@ h1 { font-size: 2.38em; font-weight: 600; line-height: 1.41em; - margin: 0 0 0.25em 0; + margin: 0 0 0.25em; } h2 { @@ -30,7 +30,7 @@ h2 { font-size: 1.68em; font-weight: 600; line-height: 1.3em; - margin: 1.25em 0 0.5em 0; + margin: 1.25em 0 0.5em; } h3 { @@ -38,7 +38,7 @@ h3 { font-size: 1.41em; font-weight: 600; line-height: 1.19em; - margin: 1.25em 0 0.5em 0; + margin: 1.25em 0 0.5em; } h4 { @@ -46,7 +46,7 @@ h4 { font-size: 1.19em; font-weight: 600; line-height: 1.09em; - margin: 1.25em 0 0.5em 0; + margin: 1.25em 0 0.5em; } h5, h6 { @@ -54,7 +54,7 @@ h5, h6 { font-size: 1em; font-weight: 600; line-height: 1em; - margin: 1.25em 0 0.5em 0; + margin: 1.25em 0 0.5em; } a { @@ -92,7 +92,7 @@ img { } p { - margin: 0.5em 0 0.5em 0; + margin: 0.5em 0; } blockquote { @@ -109,13 +109,13 @@ pre, code, kbd, samp { } ul, ol { - margin: 0 0 0.5em 0; + margin: 0 0 0.5em; padding-top: 0; } dt { font-weight: 600; - margin: 0.75em 0 0.125em 0; + margin: 0.75em 0 0.125em; } dt::after { @@ -126,7 +126,7 @@ dt::after { hr { background-color: #EEE; border: 0; - color: gray; + color: #666; height: 1px; margin-bottom: 1.5ex; margin-top: 1.5ex; @@ -195,7 +195,7 @@ footer { #meta tr, #meta th, #meta td { border: 0; font-weight: normal; - padding: 0 0 0.125em 0; + padding: 0 0 0.125em; background-color: transparent; } @@ -214,7 +214,7 @@ footer { #shortdesc { padding: 0; - margin: 0 0 0.5em 0; + margin: 0 0 0.5em; font-style: italic; color: #666; display: inline-block; @@ -241,7 +241,7 @@ footer { padding: 3px 10px 0 0; position: absolute; top: 63px; - width: 93.900002%; + width: 93.9%; z-index: 0; } @@ -419,17 +419,11 @@ input.formbutton { padding: 0 0 0 12px; } -blockquote { - border-left: 1px solid #CCC; - margin-left: 1em; - padding-left: 1em; -} - #footer { bottom: 0; clear: both; font-size: x-small; - margin: 2em 0 0 0; + margin: 2em 0 0; padding: 0; color: #888; } @@ -452,8 +446,8 @@ blockquote { @media print { #topbar { color: #000; - margin: 0.25em auto 0.25em auto; - padding: 0.25em 0.5em 0.5em 0.5em; + margin: 0.25em auto; + padding: 0.25em 0.5em 0.5em; max-width: 60em; position: relative; } @@ -473,7 +467,7 @@ blockquote { @media screen { #topbar { - margin: 0.25em auto 0.25em auto; + margin: 0.25em auto; padding: 0; max-width: 60em; position: relative; @@ -482,7 +476,7 @@ blockquote { #contentsbox { color: #546E00; font-size: small; - margin: 0 0 1.5em 0; + margin: 0 0 1.5em; } #contents { @@ -509,7 +503,7 @@ blockquote { .section { clear: right; - padding: 0 0 1.5em 0; + padding: 0 0 1.5em; } .category { @@ -584,12 +578,11 @@ table.index { border-bottom-left-radius: 6px; } - table.terminfo { border-top: 0; border-collapse: collapse; margin: -1px 0 2em 2em; - padding: 0.25em 0 0.25em 0; + padding: 0.25em 0; float: right; border-bottom: 1px solid #EEE; border-left: 1px solid #EEE; @@ -605,7 +598,7 @@ table.terminfo td { .restriction { border-style: hidden; - margin: 0 0 0.5ex 0; + margin: 0 0 0.5ex; padding: 0; vertical-align: text-top; } @@ -662,15 +655,6 @@ dl { padding: 0; } -hr { - background-color: #EEE; - border: 0; - color: gray; - height: 1px; - margin-bottom: 1.5ex; - margin-top: 1.5ex; -} - div.head { margin-bottom: 1em; } |