From 23529e839dcb8ab582d2c7d8560c5f32f21e0f9c Mon Sep 17 00:00:00 2001
From: Benjamin Eberlei <kontakt@beberlei.de>
Date: Sun, 22 Jan 2012 23:15:52 +0100
Subject: [PATCH] Adjust css

---
 en/_theme/doctrine/static/default.css | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/en/_theme/doctrine/static/default.css b/en/_theme/doctrine/static/default.css
index f0efcdcfa..a6d6bd3fd 100644
--- a/en/_theme/doctrine/static/default.css
+++ b/en/_theme/doctrine/static/default.css
@@ -80,6 +80,8 @@ abbr,acronym { border:0; }
 
 div.document {
     margin-right: 30px;
+    font-size: 12pt;
+    text-align: left !important;
 }
 
 div.documentwrapper {
@@ -96,6 +98,14 @@ div.body {
     color: #000000;
 }
 
+div.body ul {
+    margin-left: 30px
+}
+
+div.body ul, div.body ul li {
+    list-style-type: square;
+}
+
 div.footer {
     color: #ffffff;
     width: 100%;
@@ -251,8 +261,11 @@ a.headerlink:hover {
 }
 
 div.body p, div.body dd, div.body li {
-    text-align: justify;
-    line-height: 130%;
+    /*text-align: justify;*/
+}
+#content div.body p {
+    font-size: 100%;
+    line-height: 120%;
 }
 
 div.highlight {
@@ -319,7 +332,8 @@ pre {
 tt {
     background-color: #ecf0f3;
     padding: 0 1px 0 1px;
-    font-size: 1.4em;
+    /*font-size: 1.4em;*/
+    font-weight: bold;
 }
 
 th {