# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1602523006 -7200
# Node ID 796c0eef888c3d4f1884b4888c9ec0229ff9b41a
# Parent  13bcdfd9c71406af4c379483d8608a1474acac2d
mod_http_index, mod_http_muc_log: Tweak navigation element margins

CSS, how does it work?!?

diff -r 13bcdfd9c714 -r 796c0eef888c mod_http_index/http_index.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}
diff -r 13bcdfd9c714 -r 796c0eef888c mod_http_muc_log/res/http_muc_log.html
--- 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;}