From 2dcea32110af72e32919f5b2eae2165224814e63 Mon Sep 17 00:00:00 2001
From: Jean-Philippe Orsini <jeanfi@gmail.com>
Date: Wed, 15 Jun 2016 10:46:29 +0200
Subject: [PATCH] style of pre

---
 www/style.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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 {
-- 
2.7.4