diff options
Diffstat (limited to 'doc/docs.css')
| -rw-r--r-- | doc/docs.css | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/doc/docs.css b/doc/docs.css index 59f0ef4d7..497c52f8b 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -65,17 +65,27 @@ h3 { margin:26px 4px 0px 5px; } -.section { +.sectionL1 { line-height: 1.5em; padding:8px 10px 20px 10px; margin:10px 0px 0px; } -.subsection { +.sectionL2 { margin:0px 0px 0px 20px; line-height: 1.5em; } +.sectionL3 { + margin:0px 0px 0px 40px; + line-height: 1.5em; +} + +.sectionL4 { + margin:0px 0px 0px 40px; + line-height: 1.5em; +} + .topnav li { font-size:12px; |
