From cbe62649b4034e851eae6b159cc071363ab4888f Mon Sep 17 00:00:00 2001
From: Gaspard Jankowiak <jankowiak@ceremade.dauphine.fr>
Date: Mon, 12 May 2014 15:21:35 +0200
Subject: [PATCH] [style] h3, code

---
 _sass/screen.scss      |  5 +++++
 stylesheets/screen.css | 15 +++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/_sass/screen.scss b/_sass/screen.scss
index 0683422..a24f921 100644
--- a/_sass/screen.scss
+++ b/_sass/screen.scss
@@ -41,6 +41,8 @@ section h1 { font-size: 150%; border-left: 4px solid $links;
 
 section h2 { font-size: 120%; font-weight: bold; }
 
+section h3 { font-size: 100%; font-weight: bold; }
+
 h1, h2, h3, h4, h5 { margin: 0.7em 0 0.5em 0; }
 
 header { text-align: center; font-family: "OpenSansLight", sans;
@@ -51,6 +53,9 @@ header h1 { font-size: 1.5em; margin:0 0 0.3em 0; }
 
 header a { color: $text; }
 
+pre { background-color: #f5f5f5; padding: 0.5em; margin: 0.5em 0; }
+code { font-family: mono; }
+
 nav { text-align: center; font-size: 120%; margin: 1em 0; }
 nav ul li { display: inline; margin: 0; clear: both; padding: 0 10px 0 11px; }
 nav ul li:nth-child(n+2) { border-left: 1px solid $rule; }
diff --git a/stylesheets/screen.css b/stylesheets/screen.css
index 1358e0e..eaaaab9 100644
--- a/stylesheets/screen.css
+++ b/stylesheets/screen.css
@@ -115,6 +115,11 @@ section h2 {
   font-weight: bold;
 }
 
+section h3 {
+  font-size: 100%;
+  font-weight: bold;
+}
+
 h1, h2, h3, h4, h5 {
   margin: 0.7em 0 0.5em 0;
 }
@@ -137,6 +142,16 @@ header a {
   color: #444444;
 }
 
+pre {
+  background-color: #f5f5f5;
+  padding: 0.5em;
+  margin: 0.5em 0;
+}
+
+code {
+  font-family: mono;
+}
+
 nav {
   text-align: center;
   font-size: 120%;