summaryrefslogtreecommitdiffstats
path: root/Documentation/sphinx-static
diff options
context:
space:
mode:
authorKees Cook <keescook@chromium.org>2019-10-01 11:25:31 -0700
committerJonathan Corbet <corbet@lwn.net>2019-10-02 10:03:06 -0600
commit1b1438b5351f54d3fb8b3cc1579dea7668b03ca0 (patch)
treecf993a365085fb4cfceaa8327072046b5c8c520d /Documentation/sphinx-static
parente07f7927d52b89947fd32174a013742269cac3d8 (diff)
downloadlinux-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.css10
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