diff --git a/styles/website.css b/styles/website.css index 1d33c2b..b22cbe8 100644 --- a/styles/website.css +++ b/styles/website.css @@ -147,6 +147,8 @@ span.run-code-loading { } .topnav a { padding-left: 0em; + padding-right: 1.5em; padding-bottom: 0.3em; + font-size: 75% } }