comparison doc/_static/style.css @ 7356:ff5a50069822

Add space between level 2 items in left menu/sidebar. They were too scrunched. Also reconcile installed doc stylesheet with website stylesheet.
author John Rouillard <rouilj@ieee.org>
date Tue, 16 May 2023 01:36:45 -0400
parents a3dbd44c3642
children 527cad3a860c
comparison
equal deleted inserted replaced
7355:2b1cbe079ff5 7356:ff5a50069822
88 padding: 0 3em 0 14em; 88 padding: 0 3em 0 14em;
89 } 89 }
90 90
91 /* -14em is size of table of contents/nav */ 91 /* -14em is size of table of contents/nav */
92 body > .header { margin: 0 0 0 -14em;} 92 body > .header { margin: 0 0 0 -14em;}
93 body > header > div.mobile { display:none; }
93 body > .header div.label { font-size: 2em; font-weight: bold; margin: 0.67em 0 0.67em 1em;} 94 body > .header div.label { font-size: 2em; font-weight: bold; margin: 0.67em 0 0.67em 1em;}
94 body > .footer { margin: 1em 0 1em -14em; clear:both;} 95 body > .footer { margin: 1em 0 1em -14em; clear:both;}
95 body > .navigation 96 body > .navigation
96 { 97 {
97 margin-left: -14em; 98 margin-left: -14em;
163 164
164 /* sub-menu items draw a separator */ 165 /* sub-menu items draw a separator */
165 .menu ul ul > li 166 .menu ul ul > li
166 { 167 {
167 margin: 0; 168 margin: 0;
168 padding: 0; 169 padding: 0.5em;
169 border: none; 170 border: none;
170 border-top: solid thin #dadada; 171 border-top: solid thin #dadada;
171 background-color: inherit; 172 background-color: inherit;
172 } 173 }
173 .menu ul ul > li:first-child 174 .menu ul ul > li:first-child
309 } 310 }
310 311
311 dt { font-weight: bold; margin-block-start: 1em;} 312 dt { font-weight: bold; margin-block-start: 1em;}
312 dt + dd { margin-block-start: 0.25em; } 313 dt + dd { margin-block-start: 0.25em; }
313 dd p.first { margin-block-start: 0; } 314 dd p.first { margin-block-start: 0; }
315 dd > ul:first-child {
316 /* reduce indent with list inside dd. I want to reduce
317 margin-inline-start on dd but :has(> ul:first-child)
318 doesn't work in firefox yet, so use negative margin
319 on ul. */
320 margin-inline-start: -32px;
321 }
314 322
315 #skiplink { display: block; 323 #skiplink { display: block;
316 margin-block-start: 1em; 324 margin-block-start: 1em;
317 margin-inline-start: 1em;} 325 margin-inline-start: 1em;}
318 #skiplink a { 326 #skiplink a {

Roundup Issue Tracker: http://roundup-tracker.org/