From fd47362deb26bec502c6663b0b9163adab0612dd Mon Sep 17 00:00:00 2001
From: Sergey Karayev <sergeykarayev@gmail.com>
Date: Wed, 19 Mar 2014 21:27:22 -0700
Subject: [PATCH] minor style update of docs

---
 docs/stylesheets/styles.css | 34 ++++++++++++++--------------------
 1 file changed, 14 insertions(+), 20 deletions(-)

diff --git a/docs/stylesheets/styles.css b/docs/stylesheets/styles.css
index a4fb8dd..f465acb 100644
--- a/docs/stylesheets/styles.css
+++ b/docs/stylesheets/styles.css
@@ -1,10 +1,7 @@
-@import url(https://fonts.googleapis.com/css?family=Arvo:400,700,400italic);
-
-/* Base text styles */
-
 body {
   padding:10px 50px 0 0;
-  font-family:"Helvetica Neue", Helvetica, Arial, sans-serif;
+  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+  font-weight: 300;
 	font-size: 14px;
 	color: #232323;
 	background-color: #FBFAF7;
@@ -24,15 +21,13 @@ p, ul, ol, table, dl {
 }
 
 h1, h2, h3 {
-	font-family: Arvo, Monaco, serif;
+	font-family: Times, serif;
+  font-weight: 300;
   line-height:1.3;
 	font-weight: normal;
-}
-
-h1,h2, h3 {
-	display: block;
-	border-bottom: 1px solid #ccc;
-	padding-bottom: 5px;
+  display: block;
+  border-bottom: 1px solid #ccc;
+  padding-bottom: 5px;
 }
 
 h1 {
@@ -48,13 +43,12 @@ h3 {
 }
 
 h4, h5, h6 {
-	font-family: Arvo, Monaco, serif;
+	font-family: Times, serif;
 	font-weight: 700;
 }
 
 a {
   color:#C30000;
-  font-weight:200;
   text-decoration:none;
 }
 
@@ -145,13 +139,13 @@ code, pre {
 }
 
 pre {
-	padding: 4px 12px;
+	padding: 6px 12px;
   background: #FDFEFB;
   border-radius:4px;
   border:1px solid #D7D8C8;
   overflow: auto;
-  overflow-y: hidden;
-	margin-bottom: 32px;
+  white-space: pre-wrap;
+	margin-bottom: 16px;
 }
 
 
@@ -203,8 +197,8 @@ header {
 	-moz-border-radius-bottomright: 4px;
 	border-top-right-radius: 4px;
 	border-bottom-right-radius: 4px;
-	padding: 34px 25px 22px 50px;
-	margin: 30px 25px 0 0;
+	padding: 14px 25px 22px 50px;
+	margin: 24px 25px 0 0;
 	-webkit-font-smoothing: antialiased;
 }
 
@@ -213,7 +207,7 @@ p.header {
 }
 
 h1.header {
-	font-family: Arvo, sans-serif;
+	/*font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;*/
 	font-size: 30px;
 	font-weight: 300;
 	line-height: 1.3em;
-- 
2.7.4