diff options
| -rw-r--r-- | doc/src/sgml/stylesheet.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index 6410a47958..cc14efa1ca 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -76,6 +76,12 @@ div.example { margin: 0.5ex; } +/* Additional formatting for "simplelist" structures */ +table.simplelist td { + padding-left: 2em; + padding-right: 2em; +} + /* formatting for entries in tables of functions: indent all but first line */ th.func_table_entry p, |