local.css: improve styling of code and pre tags a bit

1 files changed, 7 insertions, 0 deletions

diff --git a/local.css b/local.css
index 7ae8f4e3..542a0191 100644
--- a/local.css
+++ b/local.css
@@ -12,3 +12,10 @@ video { max-width: 100% }
 .pagelicense p { margin-top: 0 }
 
 .muted { color: #666 }
+
+pre, code {
+  background-color: #f2f2f2;
+  border: 1px solid #e6e6e6;
+  border-radius: 4px;
+}
+code { padding: .2em .3em }