From 12a88f81de00f9cb2e98d7898efff51e079e79b9 Mon Sep 17 00:00:00 2001
From: "Michael J. Spencer" <bigcheesegs@gmail.com>
Date: Fri, 15 Jun 2012 22:17:44 +0000
Subject: [PATCH] [docs] Make it pretty.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158561 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/llvm-theme/static/llvm-theme.css | 39 +++++++++++++++++++++++----
 1 file changed, 34 insertions(+), 5 deletions(-)

diff --git a/docs/llvm-theme/static/llvm-theme.css b/docs/llvm-theme/static/llvm-theme.css
index da4f648061e..f684d00ce43 100644
--- a/docs/llvm-theme/static/llvm-theme.css
+++ b/docs/llvm-theme/static/llvm-theme.css
@@ -140,7 +140,7 @@ div.footer a {
 
 /* -- body styles ----------------------------------------------------------- */
 
-p {    
+p {
     margin: 0.8em 0 0.5em 0;
 }
 
@@ -153,7 +153,7 @@ a:hover {
     color: #2491CF;
 }
 
-div.body a {
+div.body p a{
     text-decoration: underline;
 }
 
@@ -175,10 +175,35 @@ h3 {
     font-size: 1.2em;
 }
 
+h3 a:hover {
+    text-decoration: underline;
+}
+
 div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
     color: black!important;
 }
 
+div.body h1,
+div.body h2,
+div.body h3,
+div.body h4,
+div.body h5,
+div.body h6 {
+    background-color: #f2f2f2;
+    font-weight: normal;
+    color: #20435c;
+    border-bottom: 1px solid #ccc;
+    margin: 20px -20px 10px -20px;
+    padding: 3px 0 3px 10px;
+}
+
+div.body h1 { margin-top: 0; font-size: 200%; }
+div.body h2 { font-size: 160%; }
+div.body h3 { font-size: 140%; }
+div.body h4 { font-size: 120%; }
+div.body h5 { font-size: 110%; }
+div.body h6 { font-size: 100%; }
+
 h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
     display: none;
     margin: 0 0 0 0.3em;
@@ -217,7 +242,7 @@ cite, code, tt {
     letter-spacing: 0.01em;
 }
 
-tt {
+:not(a.reference) > tt {
     background-color: #f2f2f2;
     border-bottom: 1px solid #ddd;
     color: #333;
@@ -232,15 +257,19 @@ hr {
     margin: 2em;
 }
 
-a tt {
+p a tt {
     border: 0;
     color: #CA7900;
 }
 
-a tt:hover {
+p a tt:hover {
     color: #2491CF;
 }
 
+a tt {
+    border: none;
+}
+
 pre {
     font-family: 'Consolas', 'Deja Vu Sans Mono',
                  'Bitstream Vera Sans Mono', monospace;