@@ -58,7 +58,7 @@ div.toctree-wrapper * + *, div.contents * + *, div.release_info * {
5858}
5959
6060h1 , h2 , h3 , h4 , h5 , h6 {
61- line-height : 1.25 ;
61+ line-height : 1.1 ;
6262 /* Larger spacing before header and smaller after to make
6363 header part of following section */
6464 margin-block-end : 0.3em ;
@@ -105,10 +105,11 @@ body > .header div.label { font-size: 2em; font-weight: bold; margin: 0.67em 0 0
105105body > .footer { margin : 1em 0 1em -14em ; clear : both;}
106106body > .navigation
107107{
108+ float : left;
108109 margin-left : -14em ;
109110 margin-inline-start : -14em ;
111+ margin-block-start : unset;
110112 width : 14em ;
111- float : left;
112113}
113114body > .content
114115{
@@ -176,8 +177,19 @@ div[class^=highlight-], div[class^=highlight-] * { width:
176177/* style */
177178
178179: link { color : rgb (220 , 0 , 0 ); text-decoration : none;}
179- : link : hover {text-decoration : underline;}
180- : visited { color : rgb (187 , 0 , 0 ); text-decoration : none;}
180+ : link : hover {
181+ text-decoration : underline solid clamp (1px , .3ex , 4px );
182+ text-underline-position : under;
183+ }
184+ : visited { color : rgb (200 , 0 , 0 ); text-decoration : none;}
185+ : visited : hover {
186+ /* would like to change from solid line to dashed, but
187+ because of privacy abusing people I can't change that
188+ value. So settle for darkgrey underline.
189+ */
190+ text-decoration-color : darkgrey;
191+ }
192+
181193a .toc-backref { color : # 000000 ; }
182194
183195.header h1 { margin-left : 1em ; }
@@ -201,7 +213,8 @@ a.toc-backref { color: #000000; }
201213}
202214.menu > ul > li .current > *
203215{
204- background-color : # dddddd ;
216+ background-color : # f0f0f0 ;
217+ border-block-end : solid medium # cccccc ;
205218}
206219
207220.menu ul li : first-child { margin-top : 0 ;}
@@ -234,9 +247,15 @@ a.toc-backref { color: #000000; }
234247 border-top : none;
235248}
236249
250+ /* make submenu items clickable cross whole width of menu */
251+ .menu ul ul > li > a {
252+ display : block;
253+ }
254+
237255.menu ul li .toctree-l2 .current {
238- background-color : # dddddd ;
239- pading-block : 0.25em ;
256+ background-color : # f0f0f0 ;
257+ border-inline-start : solid 2px rgb (220 , 0 , 0 );
258+ padding-block : 1em ;
240259}
241260
242261/* related */
@@ -281,9 +300,8 @@ div.related li.right
281300 background-color : # f7f7f7 ;
282301}
283302
284- /* This is a little hack to inject a 'news' block into the title
285- page without having to set up a custom directive. */
286- # roundup-issue-tracker .note
303+ /* style for the floating release_info badge block on the home page */
304+ # roundup-issue-tracker .release_info
287305{
288306 float : right;
289307 width : auto;
@@ -292,7 +310,6 @@ div.related li.right
292310 padding : 1em ;
293311 margin : 1em ;
294312}
295- # roundup-issue-tracker .note .admonition-title { display : none; }
296313
297314table
298315{
@@ -441,6 +458,7 @@ div.highlight > pre {
441458 background-color : # f5f4d8 ;
442459 background-size : 20px 100% , 20px 100% , 16px 100% , 16px 100% ;
443460 background-attachment : local, local, scroll, scroll;
461+ padding : 0.5em ;
444462}
445463
446464/* https://moderncss.dev/totally-custom-list-styles/ make a list
@@ -459,3 +477,13 @@ div.file_insert { /* use to insert COPYING into license.txt */
459477 background : # f3f1cc ;
460478 padding-inline : 0.5em ;
461479}
480+
481+ /* consider highlighting header element that is a target */
482+ /*
483+ :target > :is(h1,h2,h3,h4,h5,h6) {
484+ background: rgb(254, 227, 227);
485+ outline: rgb(254, 227, 227) solid 3px;
486+ padding: 0.3em;
487+ }
488+ */
489+
0 commit comments