From efde7a09561522dc20338191ae39752b4d8f304b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Thu, 3 Apr 2014 19:16:00 +0200
Subject: [PATCH] doc: update style for commands

---
 doc/asciidoc.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/asciidoc.css b/doc/asciidoc.css
index 6b23b90ae..8b3161c11 100644
--- a/doc/asciidoc.css
+++ b/doc/asciidoc.css
@@ -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;