From cd8c51097ccb8590f7433094ebd1ff354de856a6 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Fri, 30 Dec 2022 03:19:33 +0100 Subject: [PATCH] new buttons and tweaked bg gradients --- make-pages/GalleryPage.hs | 4 +- make-pages/SinglePage.hs | 2 +- script/gallery.js | 4 +- style/checked.svg | 77 +++++++++++++++++++ style/shiny/base.css | 92 ++++++++++++----------- style/shiny/gallery.css | 153 ++++++++++++++++++++++++-------------- style/shiny/single.css | 11 ++- style/unchecked.svg | 20 +++++ 8 files changed, 255 insertions(+), 108 deletions(-) create mode 100644 style/checked.svg create mode 100644 style/unchecked.svg diff --git a/make-pages/GalleryPage.hs b/make-pages/GalleryPage.hs index 985eeec..966d240 100644 --- a/make-pages/GalleryPage.hs +++ b/make-pages/GalleryPage.hs @@ -62,12 +62,12 @@ make' root (GalleryInfo {title, desc, prefix, filters, hidden}) infos = [b|@0

filters

show only

-