From 8f273b2c0574c1402b06d2eec72b721998b0b309 Mon Sep 17 00:00:00 2001
From: Jaime Marquínez Ferrándiz <jaime.marquinez.ferrandiz@gmail.com>
Date: Tue, 16 Apr 2013 14:06:16 +0200
Subject: Move the style of the commands in download.html to style.css

---
 style.css | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'style.css')

diff --git a/style.css b/style.css
index fe6ddeb14..a76ccffe3 100644
--- a/style.css
+++ b/style.css
@@ -140,3 +140,12 @@ tt {
     background-color: #448888;
     border: 2px solid #008888;
 }
+
+code.commands {
+    display:block;
+    margin-top: 0.4em;
+    padding: 0.7em;
+    background: #ccc;
+    background: rgba(200, 200, 200, 0.4);
+    white-space: pre;
+}
-- 
cgit v1.2.3