Move the style of the commands in download.html to style.css

1 files changed, 9 insertions, 0 deletions

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;
+}