rhi/gallery
1
0
Fork 0
Code Issues 5 Pull requests 1 Releases Wiki Activity

(re-)add tag counts to filter list

Browse source
This commit is contained in:
Rhiannon Morris 2020-09-17 19:12:48 +02:00
parent cb7d2fe45d
commit ce13806c97
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
make-pages/GalleryPage.hs
View file

@ -107,10 +107,10 @@ make' root (GalleryInfo {title, desc, prefix, filters, hidden}) infos = [b|@0
| otherwise = "/style/card.png"
makeFilter :: Text -> HashSet Text -> Text -> Int -> Builder
makeFilter prefix initial tag _count = [b|@8
makeFilter prefix initial tag count = [b|@8
<li>
<input type=checkbox id="$id'" value="$tag"$checked>
<label for="$id'">$tag</label>
<label for="$id'" data-count=$count>$tag</label>
|]
where
id' = [b|$prefix$&_$tag'|]

5
style/shiny/gallery.css
View file

@ -80,6 +80,11 @@ body {
border: none;
box-shadow: none;
}
#filters label[data-count]::after {
content: '(' attr(data-count) ')';
font-size: 80%;
padding-left: 0.25em;
}
.grid {
padding: 0;