equal
deleted
inserted
replaced
87 |
87 |
88 div.related ul { |
88 div.related ul { |
89 margin: 0; |
89 margin: 0; |
90 padding: 0 0 0 10px; |
90 padding: 0 0 0 10px; |
91 list-style: none; |
91 list-style: none; |
|
92 color: black; |
92 } |
93 } |
93 |
94 |
94 div.related li { |
95 div.related li { |
95 display: inline; |
96 display: inline; |
96 } |
97 } |
99 float: right; |
100 float: right; |
100 margin-right: 5px; |
101 margin-right: 5px; |
101 } |
102 } |
102 |
103 |
103 div.related a { |
104 div.related a { |
104 color: white; |
105 color: black; |
105 font-weight:bold; |
106 font-weight:bold; |
106 } |
107 } |
107 |
108 |
108 /* ::: TOC :::: */ |
109 /* ::: TOC :::: */ |
109 |
110 |
546 border-bottom: 1px solid #ccc; |
547 border-bottom: 1px solid #ccc; |
547 margin: 20px -20px 10px -20px; |
548 margin: 20px -20px 10px -20px; |
548 padding: 3px 0 3px 10px; |
549 padding: 3px 0 3px 10px; |
549 } |
550 } |
550 |
551 |
551 div.body h1 { margin-top: 0; font-size: 200%; } |
552 div.body h1 { margin-top: 0; font-size: 150%; } |
552 div.body h2 { font-size: 160%; } |
553 div.body h2 { font-size: 120%; } |
553 div.body h3 { font-size: 120%; } |
554 div.body h3 { font-size: 100%; } |
554 div.body h4 { font-size: 100%; } |
555 div.body h4 { font-size: 80%; } |
555 div.body h5 { font-size: 90%; } |
556 div.body h5 { font-size: 600%; } |
556 div.body h6 { font-size: 70%; } |
557 div.body h6 { font-size: 40%; } |
557 |
558 |
558 a.headerlink { |
559 a.headerlink { |
559 color: #c60f0f; |
560 color: #c60f0f; |
560 font-size: 0.8em; |
561 font-size: 0.8em; |
561 padding: 0 4px 0 4px; |
562 padding: 0 4px 0 4px; |