# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1669392446 -3600
# Node ID cac1a96f3df8e57b0af60b0c7cc941c0c82eda28
# Parent  ddcdc0475940ff23119d89987915b42aec1cafdc
bulma (static): better padding on inline `code`

diff -r ddcdc0475940 -r cac1a96f3df8 sat_templates/templates/bulma/static/styles.css
--- a/sat_templates/templates/bulma/static/styles.css	Tue Mar 22 16:55:23 2022 +0100
+++ b/sat_templates/templates/bulma/static/styles.css	Fri Nov 25 17:07:26 2022 +0100
@@ -162,6 +162,7 @@
     border: 1px solid #DDD;
     color: initial;
     background-color: unset;
+    padding: 0.05em 0.25em 0.05em;
 }
 
 /**************