@@ -228,16 +228,15 @@ div#configbar span.options { padding-right: 1.8em; font-size: 0.9em; white-space
228228div # configbar input { margin-right : 0 ; vertical-align : middle; }
229229div # configbar select { margin : 0 0.3em ; }
230230
231+ div # contentnav { display : flex; gap : 1em ; margin-bottom : 0.5em ; }
231232div # contentnav a {
232233 display : inline-flex;
233234 align-items : center;
234235 gap : 0.3em ;
235236 font-size : 0.9em ;
236- padding-bottom : 0.25em ;
237237}
238238div # contentnav a svg { width : 1.1em ; height : 1.1em ; }
239- div # contentnav # previous { float : left; }
240- div # contentnav # next { float : right; }
239+ div # contentnav # next { margin-left : auto; }
241240
242241div # content , div . about_content {
243242 margin-left : calc ( var ( --sidebar-width ) + 0.8em ) ;
@@ -311,12 +310,17 @@ div#historical-plot { width: 600px; height: 400px; margin: 0 auto; }
311310div # historical p { padding-left : 0 ; }
312311div # historical p . plot-caption { font-size : 0.9em ; color : var ( --text-muted ) ; }
313312
314- /* Changes page layout */
315- div # contentwrap { display : table; table-layout : fixed; width : 100% ; }
316- div # contentwrap div { display : table-cell; }
317- div # contentwrap div . leftcolumn { width : 65% ; }
318- div # contentwrap div . rightcolumn { padding-left : 0.8em ; width : 35% ; }
319- div # contentwrap div div { display : block; }
313+ /* Changes page layout: previous/next navigation across the top, the
314+ results table on the left and the revision details on the right */
315+ div # contentwrap {
316+ display : grid;
317+ grid-template-columns : minmax ( 0 , 65fr ) minmax ( 0 , 35fr ) ;
318+ column-gap : 0.8em ;
319+ align-items : start;
320+ }
321+ div # contentwrap > div { grid-column : 1 / -1 ; }
322+ div # contentwrap > div . leftcolumn { grid-column : 1 ; }
323+ div # contentwrap > div . rightcolumn { grid-column : 2 ; }
320324
321325/* Tables */
322326table . tablesorter , table . info , table . revision , table . reports {
@@ -347,7 +351,7 @@ table.reports tr:first-child td { border-top: 0; }
347351table . reports td : not ( : first-child ) { white-space : nowrap; }
348352table . reports tr . status-none td . summary { opacity : 0.5 ; }
349353
350- table . tablesorter { margin-right : 0.8 em ; margin- bottom: 0.8em ; }
354+ table . tablesorter { margin-bottom : 0.8em ; }
351355table . tablesorter thead tr th {
352356 padding : 0.5em 14px 0.5em 0.5em ;
353357 width : 5em ;
@@ -420,7 +424,7 @@ table.tablesorter tbody tr.highlight td, tr.highlight td {
420424
421425table . revision { table-layout : fixed; }
422426table . revision col : first-child , table . info col : first-child { width : 5.3em ; }
423- table . info { margin-bottom : 1em ; }
427+ table . info , table . revision { margin-bottom : 1em ; }
424428table . info th , table . revision th {
425429 background-color : var ( --surface-alt ) ;
426430 vertical-align : top;
@@ -559,7 +563,6 @@ div.footer a:hover { color: var(--accent); text-decoration: underline; }
559563@media only screen and ( max-width : 1100px ) {
560564 : root { --sidebar-width : 12.5em ; }
561565 div # container { padding : 0 0.5em ; }
562- div # contentwrap div . leftcolumn { width : 65% ; }
563566}
564567
565568@media only screen and ( max-width : 1090px ) {
@@ -568,8 +571,8 @@ div.footer a:hover { color: var(--accent); text-decoration: underline; }
568571}
569572
570573@media only screen and ( max-width : 1005px ) {
571- div # contentwrap div { display : table-row !important ; }
572- table . info { margin-bottom : 0.8 em ; }
574+ div # contentwrap { grid-template-columns : minmax ( 0 , 1 fr ) ; }
575+ div # contentwrap > div . leftcolumn , div # contentwrap > div . rightcolumn { grid-column : 1 ; }
573576 div # title { min-height : 48px ; margin-bottom : 0.6em ; }
574577 div # title img { height : 32px ; }
575578 div # title h2 { font-size : 1em ; }
0 commit comments