diff options
| author | Kees Cook <keescook@chromium.org> | 2019-10-01 11:25:31 -0700 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2019-10-02 10:03:06 -0600 |
| commit | 1b1438b5351f54d3fb8b3cc1579dea7668b03ca0 (patch) | |
| tree | cf993a365085fb4cfceaa8327072046b5c8c520d /Documentation/sphinx-static | |
| parent | e07f7927d52b89947fd32174a013742269cac3d8 (diff) | |
| download | linux-stable-1b1438b5351f54d3fb8b3cc1579dea7668b03ca0.tar.gz linux-stable-1b1438b5351f54d3fb8b3cc1579dea7668b03ca0.tar.bz2 linux-stable-1b1438b5351f54d3fb8b3cc1579dea7668b03ca0.zip | |
doc-rst: Reduce CSS padding around Field
Right now any ":Field Name: Field Contents" lines end up with significant
padding due to CSS from the "table" CSS which rightly needs padding to
make tables readable. However, field lists don't need this as they tend
to be stacked together. The future heavy use of fields in the parsed
MAINTAINERS file needs this cleaned up, and existing users look better
too. Note the needless white space (and misalignment of name/contents)
between "Date" and "Author":
https://www.kernel.org/doc/html/latest/accounting/psi.html
This patch fixes this by lowering the padding with a more specific CSS.
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/sphinx-static')
| -rw-r--r-- | Documentation/sphinx-static/theme_overrides.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Documentation/sphinx-static/theme_overrides.css b/Documentation/sphinx-static/theme_overrides.css index e21e36cd6761..459ec5b29d68 100644 --- a/Documentation/sphinx-static/theme_overrides.css +++ b/Documentation/sphinx-static/theme_overrides.css @@ -53,6 +53,16 @@ div[class^="highlight"] pre { line-height: normal; } +/* Keep fields from being strangely far apart due to inheirited table CSS. */ +.rst-content table.field-list th.field-name { + padding-top: 1px; + padding-bottom: 1px; +} +.rst-content table.field-list td.field-body { + padding-top: 1px; + padding-bottom: 1px; +} + @media screen { /* content column |