From f257e303e99f001c9b0ff8b7d7df7d357be6d6a5 Mon Sep 17 00:00:00 2001 From: Starbeamrainbowlabs Date: Mon, 31 Jul 2023 19:53:55 +0100 Subject: [PATCH] add padding around shield icons --- .docs/css/theme.css | 2 ++ .docs/index.html | 8 ++++---- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.docs/css/theme.css b/.docs/css/theme.css index 3a7944d..e8be73a 100644 --- a/.docs/css/theme.css +++ b/.docs/css/theme.css @@ -261,6 +261,8 @@ footer { /* color: var(--text-bright); */ } +.badge { padding: 0 0.25em; } + .text-left { text-align: left; } .text-centre { text-align: center; } .text-right { text-align: right; } diff --git a/.docs/index.html b/.docs/index.html index 8146003..c974b61 100644 --- a/.docs/index.html +++ b/.docs/index.html @@ -9,10 +9,10 @@ date: 2000-01-01

WorldEditAdditions

- WorldEditAdditions on ContentDB - WorldEditAdditions on the Minetest Forums - Latest release on GitHub - View the changelog + WorldEditAdditions on ContentDB + WorldEditAdditions on the Minetest Forums + Latest release on GitHub + View the changelog

Extra tools and commands to extend WorldEdit for Minetest

If you can dream of it, it probably belongs here!