diff options
Diffstat (limited to 'Documentation/theme/static/css/theme.css')
| -rw-r--r-- | Documentation/theme/static/css/theme.css | 38 |
1 files changed, 26 insertions, 12 deletions
diff --git a/Documentation/theme/static/css/theme.css b/Documentation/theme/static/css/theme.css index 047aff07..4901bbf5 100644 --- a/Documentation/theme/static/css/theme.css +++ b/Documentation/theme/static/css/theme.css @@ -24,6 +24,10 @@ a.headerlink { visibility: hidden; } +a.toc-backref { + text-decoration: none; +} + h1:hover a.headerlink, h2:hover a.headerlink, h3:hover a.headerlink, @@ -206,37 +210,47 @@ div#content { div#content > div.block { font-size: 16px; margin-right: 0px; - margin-left: 20px; - max-width: 800px; - padding: 20px 60px 0px 60px; + margin-left: 0px; + max-width: 1280px; + padding: 0px 60px 0px 60px; text-align: justify; - width: 70%; } div#content > div.block h1 { color: black; font-size: 40px; + margin-top: 0px; text-align: left; } -div.local-toc { +div#content > div.block > div.section { + max-width: 800px; +} + +div.local.topic { float: right; background-color: #fcfcff; border: 1px dotted #4896e0; - margin-right: 100px; + margin-left: 20px; + margin-right: 0px; + max-width: 15em; padding: 10px 20px 10px 10px; + text-align: left; } -div.toc-title { - font-weight: bold; -} - -div.local-toc ul { +div.local.topic ul { padding-left: 20px; margin-bottom: 5px; } -div.local-toc a { +div.local.topic > ul:before { + content: "Contents"; + display: block; + font-weight: bold; + margin-bottom: 10px; +} + +div.local.topic a { font-weight: normal; padding-left: 10px; text-decoration: none; |