commit 67b05b125ccfe407c564853cd41e175043571f24 parent 4830cb1f723d1b19777dbcec9304c65db1c08db0 Author: JayVii <jayvii[AT]posteo[DOT]de> Date: Fri, 14 Jun 2024 21:36:35 +0200 feat: increase font size of menu Diffstat:
| M | assets/style.css | | | 11 | +++++++++++ |
1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/assets/style.css b/assets/style.css @@ -150,6 +150,17 @@ pre#blob { border-radius: 5px; } +/* Menu Bar */ +body > table:nth-child(1) > tbody:nth-child(1) > tr:nth-child(3) > td > a { + margin-left: 0.25em; + margin-right: 0.25em; +} +body > table:nth-child(1) > tbody:nth-child(1) > tr:nth-child(3) > td { + padding-top: 0.25em; + padding-bottom: 0.25em; + font-size: 110%; +} + /* Activity bar ------------------------------------------------------------ */ /* style activity points */