From bb8d6c2aaeb841139966e13fe62e8f85f264bb97 Mon Sep 17 00:00:00 2001
From: Charles <sircharlesaze@gmail.com>
Date: Sun, 26 Jul 2020 11:01:10 +0200
Subject: Cleaning git server article, Tweeking the style sheet

---
 style.css | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'style.css')

diff --git a/style.css b/style.css
index 3649192..3405794 100644
--- a/style.css
+++ b/style.css
@@ -6,10 +6,23 @@ pre, code {
     font-family: Menlo, Monaco, "Courier New", monospace;
 }
 
+code {
+    background-color: #333;
+    padding: .1rem;
+    border: 1px solid #FFFFFF2F;
+    border-radius: 3px;
+    font-size: 85%;
+}
+
 pre {
     padding: .5rem;
     line-height: 1.25;
-    overflow-x: scroll;
+    overflow-x: auto;
+}
+
+pre > code {
+    border: none;
+    font-size: 100%;
 }
 
 @media print {
-- 
cgit