summaryrefslogtreecommitdiff
path: root/Documentation/theme/static
diff options
context:
space:
mode:
Diffstat (limited to 'Documentation/theme/static')
-rw-r--r--Documentation/theme/static/css/theme.css38
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;