diff options
author | Jakob Unterwurzacher | 2024-11-01 16:43:29 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2024-11-01 16:43:56 +0100 |
commit | 2fa2ef4be1c819cce9c7e76ffb6b1c09fb93355c (patch) | |
tree | 4a92549a235440360ff1694bdcb5f3ae58d451ce | |
parent | b862b8e2d3db8882339eeaecdbac886133f16000 (diff) |
css: make wide tables fit
-rw-r--r-- | docs/style.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css index 5ec9203..9c0a887 100644 --- a/docs/style.css +++ b/docs/style.css @@ -9,3 +9,19 @@ div.wy-side-nav-search { padding: unset; margin: unset; } + +/* +Wide tables are wide. +Default is 800px, which is a waste of screen space. +*/ +div.wy-nav-content { + max-width: unset; +} + +.wy-table-responsive table td,.wy-table-responsive table th { + /* + The theme sets it to "nowrap", which means tables become + ultra-wide with horizontal scrollbars. Ugh. + */ + white-space:unset; +} |