doc: update style for commands

2026-06-29 14:26:39 +02:00 · 2014-04-03 19:16:00 +02:00
parent c4c6d2cddc
commit efde7a0956
1 changed files with 2 additions and 0 deletions
@@ -80,6 +80,8 @@ h5 {
 span.command {
  padding: .2em .5em;
  border: solid 1px #ccc;
+  border-radius: 4px;
+  box-shadow: 1px 1px 2px #ccc;
  margin-right: 12px;
  background: #eee;
  font-size: 1.1em;