From: Jean-Philippe Orsini <jeanfi@gmail.com>
Date: Wed, 15 Jun 2016 08:46:45 +0000 (+0200)
Subject: Merge branch 'master' of ssh://srv2.wpitchoune.net/srv/git/www
X-Git-Url: https://git.wpitchoune.net/gitweb/?p=www.git;a=commitdiff_plain;h=88a52c46d396acb681f1039881210f0e0984fecd;hp=c44ac83a60e02886b8a23c7eb394ba66af66962a

Merge branch 'master' of ssh://srv2.wpitchoune.net/srv/git/www
---

diff --git a/www/style.css b/www/style.css
index b4e45cd..2347e88 100644
--- a/www/style.css
+++ b/www/style.css
@@ -74,7 +74,9 @@ nav a:hover {
 pre {
         margin: 1em 1em 1em 1em;
         padding: 1em 1em 1em 1em;
-	background-color: #dfdfdf;
+        border-left-style: solid;
+        border-left-color: black;
+        border-left-width: 6px;
 }
 
 code {