Style span.code as we do for span.command

with a gray border, otherwise the difference is barely noticeable.

Style span.code as we do for span.command
with a gray border, otherwise the difference is barely noticeable.
9049704d · sajolida · e257c1fb · 9049704d
Commit 9049704d authored Mar 25, 2020 by sajolida
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 4 deletions

wiki/src/local.css wiki/src/local.css +1 -4

No files found.
--- a/wiki/src/local.css
+++ b/wiki/src/local.css
@@ -1101,10 +1101,7 @@ div.icon h2 {

 span.application { font-style: italic; }
 span.button { font-weight: bold; }
-span.code {
-  font-family: "Source Code Pro Regular", "Courier", monospace;
-}
-span.command {
+span.code, span.command {
  font-family: "Source Code Pro Regular", "Courier", monospace;
  font-size: 1.071em; /* 14×1.071=15px */
  border: 1px solid #E0E0DF;