# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1634313771 -7200
# Node ID d28816a65b7f2e56a0f2d249aca632f9d4f52339
# Parent  0d6826a73c0fc5f6dc2ec3e86d3bd269de3ce5bb
(bulma) CSS: small redesign of inlined code

diff -r 0d6826a73c0f -r d28816a65b7f sat_templates/templates/bulma/static/styles.css
--- a/sat_templates/templates/bulma/static/styles.css	Fri Oct 01 17:37:40 2021 +0200
+++ b/sat_templates/templates/bulma/static/styles.css	Fri Oct 15 18:02:51 2021 +0200
@@ -153,6 +153,12 @@
     max-width: 100%;
 }
 
+:not(div.highlight>pre)>code {
+    border: 1px solid #DDD;
+    color: initial;
+    background-color: unset;
+}
+
 /**************
  * selections *
  **************/