@@ -75,6 +75,7 @@ div#title {
7575 padding : 0.4em var ( --gap ) ;
7676 background-color : var ( --surface ) ;
7777 border-bottom : 1px solid var ( --border ) ;
78+ border-radius : 0 0 var ( --radius ) var ( --radius ) ;
7879}
7980div # title a { display : inline-flex; align-items : center; }
8081div # title img { display : block; height : 40px ; padding : 0 ; margin : 0 ; }
@@ -184,10 +185,19 @@ div#presentation div.menubox:hover {
184185div # presentation div . menubox h2 { font-size : 1.1em ; font-weight : 600 ; }
185186div # presentation div . menubox p { color : var ( --text-muted ) ; }
186187
187- div # presentation p { min-height : 5.5em ; margin : 0.6em 0 0 ; padding-left : 118px ; text-align : left; }
188- div # presentation div # changes p { background : url( . . / images/changes.png) no-repeat; }
189- div # presentation div # timeline p { background : url( . . / images/timeline.png) no-repeat; }
190- div # presentation div # comparison p { background : url( . . / images/comparison.png) no-repeat; }
188+ /* The three icons differ in size (98 to 147px wide); scale them to one height */
189+ div # presentation p {
190+ min-height : 5.5em ;
191+ margin : 0.6em 0 0 ;
192+ padding-left : 122px ;
193+ text-align : left;
194+ background-repeat : no-repeat;
195+ background-position : 0 0.2em ;
196+ background-size : auto 65px ;
197+ }
198+ div # presentation div # changes p { background-image : url( . . / images/changes.png) ; }
199+ div # presentation div # timeline p { background-image : url( . . / images/timeline.png) ; }
200+ div # presentation div # comparison p { background-image : url( . . / images/comparison.png) ; }
191201
192202div # presentation div # reports { margin-top : 1em ; }
193203
@@ -214,7 +224,11 @@ div#content, div.about_content {
214224 text-align : center;
215225 padding : 1em ;
216226}
217- div . about_content { text-align : left; }
227+ div . about_content { text-align : left; max-width : calc ( 100ch + 2em ) ; }
228+ /* Keep prose readable: wrap paragraphs at roughly 100 characters */
229+ div . about_content p , div . about_content li , div . about_content h2 , div . about_content h3 {
230+ max-width : 100ch ;
231+ }
218232
219233. sidebox {
220234 overflow : hidden;
@@ -297,7 +311,7 @@ table.reports caption {
297311 font-size : 1em ;
298312 font-weight : 600 ;
299313 margin-bottom : 0.4em ;
300- text-align : left ;
314+ text-align : center ;
301315}
302316table . reports caption a { color : var ( --text ) ; }
303317table . reports caption a img { border : 0 ; vertical-align : middle; height : 14px ; margin-bottom : 1px ; }
@@ -415,7 +429,14 @@ tbody.commits tr td.date { padding: 0.3em; width: 5em; text-align: right; }
415429 overflow : auto;
416430}
417431
418- a # permalink { float : right; font-size : 0.9em ; }
432+ a # permalink {
433+ float : right;
434+ display : inline-flex;
435+ align-items : center;
436+ gap : 0.25em ;
437+ font-size : 0.9em ;
438+ }
439+ a # permalink svg { width : 1.1em ; height : 1.1em ; }
419440
420441/* Plot styles */
421442div # plot { text-align : left; height : 500px ; width : 100% ; }
0 commit comments