mod_http_index, mod_http_muc_log: Tweak navigation element margins
authorKim Alvefur <zash@zash.se>
Mon, 12 Oct 2020 19:16:46 +0200
changeset 4199 796c0eef888c
parent 4198 13bcdfd9c714
child 4200 a10e27c9a289
mod_http_index, mod_http_muc_log: Tweak navigation element margins CSS, how does it work?!?
mod_http_index/http_index.html
mod_http_muc_log/res/http_muc_log.html
--- a/mod_http_index/http_index.html	Mon Oct 12 18:53:26 2020 +0200
+++ b/mod_http_index/http_index.html	Mon Oct 12 19:16:46 2020 +0200
@@ -22,7 +22,7 @@
 @media screen and (min-width: 460px) {
 nav {font-size:x-large;margin:1ex 1em;}
 }
-nav a{padding: 1ex;}
+nav a{padding: 1ex;margin: 1ex}
 .content{background-color:white;padding:1em;list-style-position:inside;}
 @media (prefers-color-scheme: dark) {
 html{color:#eee}
--- a/mod_http_muc_log/res/http_muc_log.html	Mon Oct 12 18:53:26 2020 +0200
+++ b/mod_http_muc_log/res/http_muc_log.html	Mon Oct 12 19:16:46 2020 +0200
@@ -20,7 +20,7 @@
 @media screen and (min-width: 460px) {
 nav {font-size:x-large;margin:1ex 1em;}
 }
-nav a{padding: 1ex;}
+nav a{padding: 1ex;margin: 1ex}
 nav .up{font-size:smaller;display:block;clear:both;}
 nav .up::before{content:"↑ ";}
 nav .prev{float:left;}