changeset 4195:796c0eef888c

mod_http_index, mod_http_muc_log: Tweak navigation element margins CSS, how does it work?!?
author Kim Alvefur <zash@zash.se>
date Mon, 12 Oct 2020 19:16:46 +0200
parents 13bcdfd9c714
children a10e27c9a289
files mod_http_index/http_index.html mod_http_muc_log/res/http_muc_log.html
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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;}