From f99a6ebbb742d437861f226ebc5e68788a028a87 Mon Sep 17 00:00:00 2001 From: nntrn <17685332+nntrn@users.noreply.github.com> Date: Tue, 24 Sep 2024 11:21:08 -0500 Subject: [PATCH] Add top button --- _includes/docs.css | 2 +- _includes/theme.css | 2 +- _layouts/book.html | 4 ++-- _layouts/default.html | 15 ++++++++++++--- _pages/feed.html | 4 +++- scripts/group.sh | 7 ++----- 6 files changed, 21 insertions(+), 13 deletions(-) diff --git a/_includes/docs.css b/_includes/docs.css index 9504505..27d1994 100644 --- a/_includes/docs.css +++ b/_includes/docs.css @@ -13,6 +13,6 @@ q:before{content:""} .toc a:hover:after{text-decoration:none;border:0;content:attr(title);position:absolute;right:1.5rem;background:#fff;padding:2px 4px;z-index:1;font-size:.8rem} .mark q{background:var(--bs-highlight-bg)} .smaller{font-size:.9em} -.muted{color:#aaa} +.muted{color:#a9a9a9} .sans-serif{font-family:var(--bs-font-sans-serif)} a{text-decoration-skip-ink:none} \ No newline at end of file diff --git a/_includes/theme.css b/_includes/theme.css index 7bafa88..98dd94c 100644 --- a/_includes/theme.css +++ b/_includes/theme.css @@ -7,7 +7,7 @@ [data-layout=serif] { font-family: times, serif; line-height: 1.3; - font-size: 14px + font-size: 15px } [data-layout=sans-serif] { diff --git a/_layouts/book.html b/_layouts/book.html index f91e341..f181b51 100644 --- a/_layouts/book.html +++ b/_layouts/book.html @@ -14,7 +14,7 @@