diff options
Diffstat (limited to 'doc-src/02-docstyle.css')
-rw-r--r-- | doc-src/02-docstyle.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css new file mode 100644 index 00000000..8e07434b --- /dev/null +++ b/doc-src/02-docstyle.css @@ -0,0 +1,16 @@ +body { + padding-top: 60px; + padding-bottom: 40px; +} + +.tablenum { + font-weight: bold; +} + +.nowrap { + white-space: nowrap; +} + +h1 { + line-height: 1.1; +}
\ No newline at end of file |