@@ -71,11 +71,12 @@ div#title {
7171 align-items : center;
7272 gap : 0.6em ;
7373 min-height : 56px ;
74- margin : 0 calc ( -1 * var ( --gap ) ) 1.2em ;
74+ margin : var ( --gap ) 0 1.2em ;
7575 padding : 0.4em var ( --gap ) ;
7676 background-color : var ( --surface ) ;
77- border-bottom : 1px solid var ( --border ) ;
78- border-radius : 0 0 var ( --radius ) var ( --radius ) ;
77+ border : 1px solid var ( --border ) ;
78+ border-radius : var ( --radius ) ;
79+ box-shadow : var ( --shadow ) ;
7980}
8081div # title a { display : inline-flex; align-items : center; }
8182div # title img { display : block; height : 40px ; padding : 0 ; margin : 0 ; }
@@ -151,8 +152,18 @@ div.about_content,
151152 box-shadow : var ( --shadow ) ;
152153}
153154
154- /* Home page */
155- div # presentation { text-align : center; }
155+ /* Home page: a centred column with three menu boxes in a row and the
156+ results below them at the same width */
157+ div # presentation {
158+ max-width : 900px ;
159+ margin : 0 auto;
160+ display : grid;
161+ grid-template-columns : repeat ( 3 , minmax ( 0 , 1fr ) ) ;
162+ gap : var ( --gap ) ;
163+ text-align : center;
164+ }
165+ div # presentation > a { display : flex; }
166+ div # presentation div # reports , div # presentation div # historical { grid-column : 1 / -1 ; }
156167div # presentation h2 , div # presentation h4 { margin-top : 0.2em ; margin-bottom : 0.2em ; }
157168
158169div # presentation > a { text-decoration : none; color : inherit; }
@@ -162,9 +173,9 @@ div#presentation div {
162173 vertical-align : top;
163174}
164175div # presentation div . menubox {
165- width : 290 px ;
166- min-height : 11 em ;
167- margin : 0.6 em ;
176+ flex : 1 ;
177+ display : block ;
178+ margin : 0 ;
168179 padding : 1em 1em 0.8em ;
169180 color : var ( --text ) ;
170181 text-align : center;
@@ -186,7 +197,7 @@ div#presentation div.menubox p { color: var(--text-muted); }
186197
187198/* The three icons differ in size (98 to 147px wide); scale them to one height */
188199div # presentation div . menubox p {
189- min-height : 5.5 em ;
200+ min-height : 4.6 em ;
190201 margin : 0.6em 0 0 ;
191202 padding-left : 122px ;
192203 text-align : left;
@@ -198,7 +209,6 @@ div#presentation div#changes p { background-image: url(../images/changes.png); }
198209div # presentation div # timeline p { background-image : url( . . / images/timeline.png) ; }
199210div # presentation div # comparison p { background-image : url( . . / images/comparison.png) ; }
200211
201- div # presentation div # reports { margin-top : 1em ; }
202212
203213/* Sidebar and content columns */
204214div # sidebar { width : var ( --sidebar-width ) ; float : left; }
@@ -333,6 +343,8 @@ table.reports caption a { color: var(--text); }
333343table . reports caption a img { border : 0 ; vertical-align : middle; height : 14px ; margin-bottom : 1px ; }
334344table . reports td { padding : 0.45em 0.6em ; border-top : 1px solid var ( --border ) ; }
335345table . reports tr : first-child td { border-top : 0 ; }
346+ /* Only the commit column wraps; keep the executable and summary on one line */
347+ table . reports td : not ( : first-child ) { white-space : nowrap; }
336348table . reports tr . status-none td . summary { opacity : 0.5 ; }
337349
338350table . tablesorter { margin-right : 0.8em ; margin-bottom : 0.8em ; }
@@ -562,6 +574,7 @@ div.footer a:hover { color: var(--accent); text-decoration: underline; }
562574 div # title img { height : 32px ; }
563575 div # title h2 { font-size : 1em ; }
564576 div # nav ul { padding-left : 0 ; }
577+ div # presentation { grid-template-columns : 1fr ; }
565578 div # plot { height : 400px ; }
566579 div . miniplot { height : 100px ; }
567580 div . compplot { height : 400px ; }
@@ -571,7 +584,6 @@ div.footer a:hover { color: var(--accent); text-decoration: underline; }
571584 div # sidebar { float : none; width : auto; display : flex; flex-wrap : wrap; gap : 0.6em ; }
572585 div # sidebar . sidebox { flex : 1 1 14em ; }
573586 div # configbar , div # content , div . about_content { margin-left : 0 ; }
574- div # presentation div . menubox { width : 100% ; margin : 0.4em 0 ; }
575587 div # historical-plot , div # baseline-comparison-plot { width : 100% ; }
576588}
577589
0 commit comments