diff options
-rw-r--r-- | assets/mumi.scss | 15 | ||||
-rw-r--r-- | mumi/web/view/html.scm | 1 |
2 files changed, 16 insertions, 0 deletions
diff --git a/assets/mumi.scss b/assets/mumi.scss index 410e9ad..ae654bc 100644 --- a/assets/mumi.scss +++ b/assets/mumi.scss @@ -309,6 +309,15 @@ table tr:hover { background-color: var(--tr-hover-color); } +details.info, +details.search-hints { + border-bottom: none; +} +details.info summary:after, +details.search-hints summary:after{ + float: left; +} + .info .stat { display: inline-grid; color: #586069; @@ -317,6 +326,12 @@ table tr:hover { .info .stat .label { display: block; } +.info .stat dt { + font-weight: 700; +} +.info .stat dd { + margin-left: 0; +} a.line-anchor { position: absolute; diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index fa8df89..bdc217b 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -109,6 +109,7 @@ simple query language. Here is a list of supported query terms:") `(div ,(search-form #:standalone? #t #:text text) (details + (@ (class "search-hints")) (summary (strong "Hint")) (p "Refine your search with filters like " |