33
44 display : grid;
55
6- grid-template-areas : "nav content" ;
7- grid-template-rows : 1fr ;
8- grid-template-columns : auto 1fr ;
6+ grid-template-areas :
7+ "nav"
8+ "content" ;
9+ grid-template-rows : auto 1fr ;
10+ grid-template-columns : 1fr ;
911}
1012
1113# content {
1214 grid-area : content;
1315 display : grid;
1416
1517 height : 100dvh ;
16- overflow : auto;
18+ margin : 0 auto;
1719}
1820
1921nav {
2022 grid-area : nav;
2123 display : flex;
22- flex-direction : row-reverse;
23- align-content : right;
24- align-items : flex-start;
25- }
26-
27- nav fieldset {
28- display : flex;
29- gap : 2px ;
30- flex-direction : column;
24+ gap : 8px ;
25+ flex-direction : row;
26+ align-content : center; /* vertical align */
27+ align-items : center;
3128 justify-content : center;
32- align-items : left;
33- padding : 0.5rem 0.8rem 0.8rem 0.8rem ;
34- margin : 1rem 1.8rem 1rem 1.8rem ;
35- background-color : var (--bg-0 );
36- border : 2px solid var (--accent );
37- border-radius : 0px ;
38- box-shadow : none;
29+ justify-items : center;
30+ padding : 0.5rem 0.5rem 0.5rem 1rem ;
31+ background-color : var (--bg-1 );
32+ border-bottom : 1px solid var (--border );
3933}
4034
41- nav fieldset legend {
42- font-family : var (--font-text2 );
43- font-size : var (--fsize-xs );
44- font-style : italic;
45- color : var (--fg-1 );
46- padding : 0 0.3rem 0 0.3rem ;
35+ nav div {
36+ width : var (--view-width );
37+ max-width : var (--view-width );
38+ margin : 0 auto;
39+ padding-left : 0.8rem ;
4740}
4841
49- nav fieldset label {
42+ nav label {
5043 color : var (--fg-0 );
5144 font-size : var (--fsize-s );
5245 font-family : var (--font-text2 );
46+ font-weight : 500 ;
5347 cursor : pointer;
5448 padding : 2px ;
5549}
5650
57- nav fieldset label : hover {
58- color : var (--accent-hover ) !important ;
51+ nav label : hover {
52+ color : var (--accent-hover );
5953 text-decoration : underline;
6054}
6155
@@ -77,14 +71,14 @@ input[type="radio"].nav {
7771 padding : 1rem ;
7872}
7973
80- # radio-parse : checked ~ nav fieldset label [for = "radio-parse" ],
81- # radio-overview : checked ~ nav fieldset label [for = "radio-overview" ],
82- # radio-timings : checked ~ nav fieldset label [for = "radio-timings" ],
83- # radio-headers : checked ~ nav fieldset label [for = "radio-headers" ],
84- # radio-vcllogtree : checked ~ nav fieldset label [for = "radio-vcllogtree" ],
85- # radio-reqbuild : checked ~ nav fieldset label [for = "radio-reqbuild" ] {
74+ # radio-parse : checked ~ nav label [for = "radio-parse" ],
75+ # radio-overview : checked ~ nav label [for = "radio-overview" ],
76+ # radio-timings : checked ~ nav label [for = "radio-timings" ],
77+ # radio-headers : checked ~ nav label [for = "radio-headers" ],
78+ # radio-vcllogtree : checked ~ nav label [for = "radio-vcllogtree" ],
79+ # radio-reqbuild : checked ~ nav label [for = "radio-reqbuild" ] {
8680 color : var (--accent );
87- font-weight : bold ;
81+ text-decoration : underline ;
8882}
8983
9084# radio-parse : checked ~ # content # parse-view ,
@@ -95,38 +89,3 @@ input[type="radio"].nav {
9589# radio-reqbuild : checked ~ # content # reqbuild-view {
9690 display : block;
9791}
98-
99- @media (max-width : 980px ) {
100- body {
101- grid-template-areas :
102- "nav"
103- "content" ;
104- grid-template-rows : auto 1fr ;
105- grid-template-columns : 1fr ;
106- }
107-
108- # content {
109- overflow : visible;
110- }
111-
112- nav {
113- flex-direction : row;
114- align-content : center;
115- align-items : center;
116- padding : 0 0 2px 0 ;
117- }
118-
119- nav fieldset {
120- flex-direction : row;
121- flex-wrap : wrap;
122- gap : 6px ;
123- align-items : center;
124- margin : 0 0.4rem 0 0.4rem ;
125- padding : 0.3rem 0.4rem 0.4rem 0.4rem ;
126- }
127-
128- .view-content {
129- max-width : 100vw ;
130- padding : 0.6rem ;
131- }
132- }
0 commit comments