From: Daniel Dunbar Date: Thu, 19 Apr 2012 20:20:34 +0000 (+0000) Subject: [docs] Update HTML pages to refer to CSS in a way that works locally and with Sphinx. X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=adea497673dab74b08fa2546e69619f1abe55662;p=oota-llvm.git [docs] Update HTML pages to refer to CSS in a way that works locally and with Sphinx. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155153 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index 74127124a3d..638823588b3 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -4,7 +4,7 @@ LLVM Alias Analysis Infrastructure - + diff --git a/docs/Atomics.html b/docs/Atomics.html index fc15e27c39c..2358f4d2ef2 100644 --- a/docs/Atomics.html +++ b/docs/Atomics.html @@ -4,7 +4,7 @@ LLVM Atomic Instructions and Concurrency Guide - + diff --git a/docs/BitCodeFormat.html b/docs/BitCodeFormat.html index d2088487aa7..a8777ee772b 100644 --- a/docs/BitCodeFormat.html +++ b/docs/BitCodeFormat.html @@ -4,7 +4,7 @@ LLVM Bitcode File Format - +

LLVM Bitcode File Format

diff --git a/docs/BranchWeightMetadata.html b/docs/BranchWeightMetadata.html index 38b87baa3b7..63c63a46a4b 100644 --- a/docs/BranchWeightMetadata.html +++ b/docs/BranchWeightMetadata.html @@ -4,7 +4,7 @@ LLVM Branch Weight Metadata - + diff --git a/docs/Bugpoint.html b/docs/Bugpoint.html index 9794f2c766c..bcd34b84499 100644 --- a/docs/Bugpoint.html +++ b/docs/Bugpoint.html @@ -4,7 +4,7 @@ LLVM bugpoint tool: design and usage - +

diff --git a/docs/CMake.html b/docs/CMake.html index acc7fe9e808..ff8bf30d323 100644 --- a/docs/CMake.html +++ b/docs/CMake.html @@ -4,7 +4,7 @@ Building LLVM with CMake - +

diff --git a/docs/CodeGenerator.html b/docs/CodeGenerator.html index c4b15dfe377..2829a94d4bb 100644 --- a/docs/CodeGenerator.html +++ b/docs/CodeGenerator.html @@ -4,7 +4,7 @@ The LLVM Target-Independent Code Generator - + diff --git a/docs/GCCFEBuildInstrs.html b/docs/GCCFEBuildInstrs.html index 6eb409b79c2..0caf9d86186 100644 --- a/docs/GCCFEBuildInstrs.html +++ b/docs/GCCFEBuildInstrs.html @@ -3,7 +3,7 @@ - + Building the LLVM GCC Front-End diff --git a/docs/GarbageCollection.html b/docs/GarbageCollection.html index 53ea192fc43..778297cff74 100644 --- a/docs/GarbageCollection.html +++ b/docs/GarbageCollection.html @@ -4,7 +4,7 @@ Accurate Garbage Collection with LLVM - + diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index 561645f1c87..9c4a314179f 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -4,7 +4,7 @@ Getting Started with LLVM System - + diff --git a/docs/GettingStartedVS.html b/docs/GettingStartedVS.html index d7c1efcfea2..b0ed82409da 100644 --- a/docs/GettingStartedVS.html +++ b/docs/GettingStartedVS.html @@ -4,7 +4,7 @@ Getting Started with LLVM System for Microsoft Visual Studio - + diff --git a/docs/GoldPlugin.html b/docs/GoldPlugin.html index 2c08bd031b7..1e99a5a3d6a 100644 --- a/docs/GoldPlugin.html +++ b/docs/GoldPlugin.html @@ -4,7 +4,7 @@ LLVM gold plugin - + diff --git a/docs/HowToAddABuilder.html b/docs/HowToAddABuilder.html index 0de2dacebe2..985b30e4f7b 100644 --- a/docs/HowToAddABuilder.html +++ b/docs/HowToAddABuilder.html @@ -6,7 +6,7 @@ How To Add Your Build Configuration To LLVM Buildbot Infrastructure - + diff --git a/docs/HowToReleaseLLVM.html b/docs/HowToReleaseLLVM.html index 396b4fe0ebe..382e18f320a 100644 --- a/docs/HowToReleaseLLVM.html +++ b/docs/HowToReleaseLLVM.html @@ -4,7 +4,7 @@ How To Release LLVM To The Public - + diff --git a/docs/HowToSubmitABug.html b/docs/HowToSubmitABug.html index baefce3c8e4..6004beccc19 100644 --- a/docs/HowToSubmitABug.html +++ b/docs/HowToSubmitABug.html @@ -4,7 +4,7 @@ How to submit an LLVM bug report - + diff --git a/docs/LLVMBuild.html b/docs/LLVMBuild.html index f39a8a6a1c0..43726a1a0ff 100644 --- a/docs/LLVMBuild.html +++ b/docs/LLVMBuild.html @@ -3,7 +3,7 @@ LLVMBuild Documentation - + diff --git a/docs/LangRef.html b/docs/LangRef.html index 9989cc81971..cdf28078cce 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -7,7 +7,7 @@ - + diff --git a/docs/Lexicon.html b/docs/Lexicon.html index c6c3a81ab50..f43eff5931c 100644 --- a/docs/Lexicon.html +++ b/docs/Lexicon.html @@ -3,7 +3,7 @@ The LLVM Lexicon - + diff --git a/docs/LinkTimeOptimization.html b/docs/LinkTimeOptimization.html index c9c78b913c7..8063fa85103 100644 --- a/docs/LinkTimeOptimization.html +++ b/docs/LinkTimeOptimization.html @@ -4,7 +4,7 @@ LLVM Link Time Optimization: Design and Implementation - +

diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index ee0115d209c..961b1e52d16 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -3,7 +3,7 @@ LLVM Makefile Guide - + diff --git a/docs/Packaging.html b/docs/Packaging.html index ed7cfbefd75..51e9375e855 100644 --- a/docs/Packaging.html +++ b/docs/Packaging.html @@ -4,7 +4,7 @@ Advice on Packaging LLVM - + diff --git a/docs/Passes.html b/docs/Passes.html index 840b2eff064..ac72435d9e3 100644 --- a/docs/Passes.html +++ b/docs/Passes.html @@ -3,7 +3,7 @@ LLVM's Analysis and Transform Passes - + diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 267ff922006..854f90e28b3 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -4,7 +4,7 @@ LLVM Programmer's Manual - + diff --git a/docs/Projects.html b/docs/Projects.html index da4b06452b5..54f747eea96 100644 --- a/docs/Projects.html +++ b/docs/Projects.html @@ -4,7 +4,7 @@ Creating an LLVM Project - + diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e5f3047ba11..be67b6d025e 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -3,7 +3,7 @@ - + LLVM 3.1 Release Notes diff --git a/docs/SegmentedStacks.html b/docs/SegmentedStacks.html index 16f55074732..052003bc632 100644 --- a/docs/SegmentedStacks.html +++ b/docs/SegmentedStacks.html @@ -2,7 +2,7 @@ Segmented Stacks in LLVM - + diff --git a/docs/SourceLevelDebugging.html b/docs/SourceLevelDebugging.html index 4f6e73a4491..45f7e228222 100644 --- a/docs/SourceLevelDebugging.html +++ b/docs/SourceLevelDebugging.html @@ -4,7 +4,7 @@ Source Level Debugging with LLVM - + diff --git a/docs/SystemLibrary.html b/docs/SystemLibrary.html index a3629d9dcda..1ef221fa274 100644 --- a/docs/SystemLibrary.html +++ b/docs/SystemLibrary.html @@ -4,7 +4,7 @@ System Library - + diff --git a/docs/TableGenFundamentals.html b/docs/TableGenFundamentals.html index b401c7a49f0..b374cc587f7 100644 --- a/docs/TableGenFundamentals.html +++ b/docs/TableGenFundamentals.html @@ -4,7 +4,7 @@ TableGen Fundamentals - + diff --git a/docs/TestSuiteMakefileGuide.html b/docs/TestSuiteMakefileGuide.html index 876fe426cf5..0a644d2813d 100644 --- a/docs/TestSuiteMakefileGuide.html +++ b/docs/TestSuiteMakefileGuide.html @@ -4,7 +4,7 @@ LLVM test-suite Makefile Guide - + diff --git a/docs/TestingGuide.html b/docs/TestingGuide.html index acf52df8d31..1f9c9157306 100644 --- a/docs/TestingGuide.html +++ b/docs/TestingGuide.html @@ -4,7 +4,7 @@ LLVM Testing Infrastructure Guide - + diff --git a/docs/WritingAnLLVMBackend.html b/docs/WritingAnLLVMBackend.html index 3d0dc3f0013..441d122f539 100644 --- a/docs/WritingAnLLVMBackend.html +++ b/docs/WritingAnLLVMBackend.html @@ -4,7 +4,7 @@ Writing an LLVM Compiler Backend - + diff --git a/docs/WritingAnLLVMPass.html b/docs/WritingAnLLVMPass.html index c7cad4bed6d..af1ffa4fb7a 100644 --- a/docs/WritingAnLLVMPass.html +++ b/docs/WritingAnLLVMPass.html @@ -4,7 +4,7 @@ Writing an LLVM Pass - + diff --git a/docs/_static/lines.gif b/docs/_static/lines.gif new file mode 100644 index 00000000000..88f491edc30 Binary files /dev/null and b/docs/_static/lines.gif differ diff --git a/docs/_static/llvm.css b/docs/_static/llvm.css new file mode 100644 index 00000000000..d7b5dae5a93 --- /dev/null +++ b/docs/_static/llvm.css @@ -0,0 +1,112 @@ +/* + * LLVM documentation style sheet + */ + +/* Common styles */ +.body { color: black; background: white; margin: 0 0 0 0 } + +/* No borders on image links */ +a:link img, a:visited img { border-style: none } + +address img { float: right; width: 88px; height: 31px; } +address { clear: right; } + +table { text-align: center; border: 2px solid black; + border-collapse: collapse; margin-top: 1em; margin-left: 1em; + margin-right: 1em; margin-bottom: 1em; } +tr, td { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; } +th { border: 2px solid gray; font-weight: bold; font-size: 105%; + background: url("lines.gif"); + font-family: "Georgia,Palatino,Times,Roman,SanSerif"; + text-align: center; vertical-align: middle; } +/* + * Documentation + */ +/* Common for title and header */ +.doc_title, .doc_section, .doc_subsection, h1, h2, h3 { + color: black; background: url("lines.gif"); + font-family: "Georgia,Palatino,Times,Roman,SanSerif"; font-weight: bold; + border-width: 1px; + border-style: solid none solid none; + text-align: center; + vertical-align: middle; + padding-left: 8pt; + padding-top: 1px; + padding-bottom: 2px +} + +h1, .doc_title, .title { text-align: left; font-size: 25pt } + +h2, .doc_section { text-align: center; font-size: 22pt; + margin: 20pt 0pt 5pt 0pt; } + +h3, .doc_subsection { width: 75%; + text-align: left; font-size: 12pt; + padding: 4pt 4pt 4pt 4pt; + margin: 1.5em 0.5em 0.5em 0.5em } + +h4, .doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em; + font-weight: bold; font-style: oblique; + border-bottom: 1px solid #999999; font-size: 12pt; + width: 75%; } + +.doc_author { text-align: left; font-weight: bold; padding-left: 20pt } +.doc_text { text-align: left; padding-left: 20pt; padding-right: 10pt } + +.doc_footer { text-align: left; padding: 0 0 0 0 } + +.doc_hilite { color: blue; font-weight: bold; } + +.doc_table { text-align: center; width: 90%; + padding: 1px 1px 1px 1px; border: 1px; } + +.doc_warning { color: red; font-weight: bold } + +/*
would use this class, and
adds more padding */ +.doc_code, .literal-block + { border: solid 1px gray; background: #eeeeee; + margin: 0 1em 0 1em; + padding: 0 1em 0 1em; + display: table; + } + +blockquote pre { + padding: 1em 2em 1em 1em; + border: solid 1px gray; + background: #eeeeee; + margin: 0 1em 0 1em; + display: table; +} + +h2+div, h2+p {text-align: left; padding-left: 20pt; padding-right: 10pt;} +h3+div, h3+p {text-align: left; padding-left: 20pt; padding-right: 10pt;} +h4+div, h4+p {text-align: left; padding-left: 20pt; padding-right: 10pt;} + +/* It is preferrable to use 
 everywhere instead of the
+ * 
...
 construct.
+ *
+ * Once all docs use 
 for code regions, this style can  be merged with the
+ * one above, and we can drop the [pre] qualifier.
+ */
+pre.doc_code, .literal-block { padding: 1em 2em 1em 1em }
+
+.doc_notes      { background: #fafafa; border: 1px solid #cecece;
+                  display: table; padding: 0 1em 0 .1em }
+
+table.layout    { text-align: left; border: none; border-collapse: collapse;
+                  padding: 4px 4px 4px 4px; }
+tr.layout, td.layout, td.left, td.right
+                { border: none; padding: 4pt 4pt 2pt 2pt; vertical-align: top; }
+td.left         { text-align: left }
+td.right        { text-align: right }
+th.layout       { border: none; font-weight: bold; font-size: 105%;
+                  text-align: center; vertical-align: middle; }
+
+/* Left align table cell */
+.td_left        { border: 2px solid gray; text-align: left; }
+
+/* ReST-specific */
+.title { margin-top: 0 }
+.topic-title{ display: none }
+div.contents ul { list-style-type: decimal }
+.toc-backref    { color: black; text-decoration: none; }
diff --git a/docs/conf.py b/docs/conf.py
index 324410ed561..4d433320c46 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -119,7 +119,7 @@ html_theme_path = ["."]
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-#html_static_path = ['_static']
+html_static_path = ['_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
diff --git a/docs/img/lines.gif b/docs/img/lines.gif
deleted file mode 100644
index 88f491edc30..00000000000
Binary files a/docs/img/lines.gif and /dev/null differ
diff --git a/docs/llvm-theme/static/llvm-theme.css b/docs/llvm-theme/static/llvm-theme.css
new file mode 100644
index 00000000000..da4f648061e
--- /dev/null
+++ b/docs/llvm-theme/static/llvm-theme.css
@@ -0,0 +1,345 @@
+/*
+ * sphinxdoc.css_t
+ * ~~~~~~~~~~~~~~~
+ *
+ * Sphinx stylesheet -- sphinxdoc theme.  Originally created by
+ * Armin Ronacher for Werkzeug.
+ *
+ * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
+ * :license: BSD, see LICENSE for details.
+ *
+ */
+
+@import url("basic.css");
+
+/* -- page layout ----------------------------------------------------------- */
+
+body {
+    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
+                 'Verdana', sans-serif;
+    font-size: 14px;
+    letter-spacing: -0.01em;
+    line-height: 150%;
+    text-align: center;
+    background-color: #BFD1D4;
+    color: black;
+    padding: 0;
+    border: 1px solid #aaa;
+
+    margin: 0px 80px 0px 80px;
+    min-width: 740px;
+}
+
+div.logo {
+    background-color: white;
+    text-align: left;
+    padding: 10px 10px 15px 15px;
+}
+
+div.document {
+    background-color: white;
+    text-align: left;
+    background-image: url(contents.png);
+    background-repeat: repeat-x;
+}
+
+div.bodywrapper {
+    margin: 0 240px 0 0;
+    border-right: 1px solid #ccc;
+}
+
+div.body {
+    margin: 0;
+    padding: 0.5em 20px 20px 20px;
+}
+
+div.related {
+    font-size: 1em;
+}
+
+div.related ul {
+    background-image: url(navigation.png);
+    height: 2em;
+    border-top: 1px solid #ddd;
+    border-bottom: 1px solid #ddd;
+}
+
+div.related ul li {
+    margin: 0;
+    padding: 0;
+    height: 2em;
+    float: left;
+}
+
+div.related ul li.right {
+    float: right;
+    margin-right: 5px;
+}
+
+div.related ul li a {
+    margin: 0;
+    padding: 0 5px 0 5px;
+    line-height: 1.75em;
+    color: #EE9816;
+}
+
+div.related ul li a:hover {
+    color: #3CA8E7;
+}
+
+div.sphinxsidebarwrapper {
+    padding: 0;
+}
+
+div.sphinxsidebar {
+    margin: 0;
+    padding: 0.5em 15px 15px 0;
+    width: 210px;
+    float: right;
+    font-size: 1em;
+    text-align: left;
+}
+
+div.sphinxsidebar h3, div.sphinxsidebar h4 {
+    margin: 1em 0 0.5em 0;
+    font-size: 1em;
+    padding: 0.1em 0 0.1em 0.5em;
+    color: white;
+    border: 1px solid #86989B;
+    background-color: #AFC1C4;
+}
+
+div.sphinxsidebar h3 a {
+    color: white;
+}
+
+div.sphinxsidebar ul {
+    padding-left: 1.5em;
+    margin-top: 7px;
+    padding: 0;
+    line-height: 130%;
+}
+
+div.sphinxsidebar ul ul {
+    margin-left: 20px;
+}
+
+div.footer {
+    background-color: #E3EFF1;
+    color: #86989B;
+    padding: 3px 8px 3px 0;
+    clear: both;
+    font-size: 0.8em;
+    text-align: right;
+}
+
+div.footer a {
+    color: #86989B;
+    text-decoration: underline;
+}
+
+/* -- body styles ----------------------------------------------------------- */
+
+p {    
+    margin: 0.8em 0 0.5em 0;
+}
+
+a {
+    color: #CA7900;
+    text-decoration: none;
+}
+
+a:hover {
+    color: #2491CF;
+}
+
+div.body a {
+    text-decoration: underline;
+}
+
+h1 {
+    margin: 0;
+    padding: 0.7em 0 0.3em 0;
+    font-size: 1.5em;
+    color: #11557C;
+}
+
+h2 {
+    margin: 1.3em 0 0.2em 0;
+    font-size: 1.35em;
+    padding: 0;
+}
+
+h3 {
+    margin: 1em 0 -0.3em 0;
+    font-size: 1.2em;
+}
+
+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;
+}
+
+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;
+    padding: 0 0.2em 0 0.2em;
+    color: #aaa!important;
+}
+
+h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
+h5:hover a.anchor, h6:hover a.anchor {
+    display: inline;
+}
+
+h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
+h5 a.anchor:hover, h6 a.anchor:hover {
+    color: #777;
+    background-color: #eee;
+}
+
+a.headerlink {
+    color: #c60f0f!important;
+    font-size: 1em;
+    margin-left: 6px;
+    padding: 0 4px 0 4px;
+    text-decoration: none!important;
+}
+
+a.headerlink:hover {
+    background-color: #ccc;
+    color: white!important;
+}
+
+cite, code, tt {
+    font-family: 'Consolas', 'Deja Vu Sans Mono',
+                 'Bitstream Vera Sans Mono', monospace;
+    font-size: 0.95em;
+    letter-spacing: 0.01em;
+}
+
+tt {
+    background-color: #f2f2f2;
+    border-bottom: 1px solid #ddd;
+    color: #333;
+}
+
+tt.descname, tt.descclassname, tt.xref {
+    border: 0;
+}
+
+hr {
+    border: 1px solid #abc;
+    margin: 2em;
+}
+
+a tt {
+    border: 0;
+    color: #CA7900;
+}
+
+a tt:hover {
+    color: #2491CF;
+}
+
+pre {
+    font-family: 'Consolas', 'Deja Vu Sans Mono',
+                 'Bitstream Vera Sans Mono', monospace;
+    font-size: 0.95em;
+    letter-spacing: 0.015em;
+    line-height: 120%;
+    padding: 0.5em;
+    border: 1px solid #ccc;
+    background-color: #f8f8f8;
+}
+
+pre a {
+    color: inherit;
+    text-decoration: underline;
+}
+
+td.linenos pre {
+    padding: 0.5em 0;
+}
+
+div.quotebar {
+    background-color: #f8f8f8;
+    max-width: 250px;
+    float: right;
+    padding: 2px 7px;
+    border: 1px solid #ccc;
+}
+
+div.topic {
+    background-color: #f8f8f8;
+}
+
+table {
+    border-collapse: collapse;
+    margin: 0 -0.5em 0 -0.5em;
+}
+
+table td, table th {
+    padding: 0.2em 0.5em 0.2em 0.5em;
+}
+
+div.admonition, div.warning {
+    font-size: 0.9em;
+    margin: 1em 0 1em 0;
+    border: 1px solid #86989B;
+    background-color: #f7f7f7;
+    padding: 0;
+}
+
+div.admonition p, div.warning p {
+    margin: 0.5em 1em 0.5em 1em;
+    padding: 0;
+}
+
+div.admonition pre, div.warning pre {
+    margin: 0.4em 1em 0.4em 1em;
+}
+
+div.admonition p.admonition-title,
+div.warning p.admonition-title {
+    margin: 0;
+    padding: 0.1em 0 0.1em 0.5em;
+    color: white;
+    border-bottom: 1px solid #86989B;
+    font-weight: bold;
+    background-color: #AFC1C4;
+}
+
+div.warning {
+    border: 1px solid #940000;
+}
+
+div.warning p.admonition-title {
+    background-color: #CF0000;
+    border-bottom-color: #940000;
+}
+
+div.admonition ul, div.admonition ol,
+div.warning ul, div.warning ol {
+    margin: 0.1em 0.5em 0.5em 3em;
+    padding: 0;
+}
+
+div.versioninfo {
+    margin: 1em 0 0 0;
+    border: 1px solid #ccc;
+    background-color: #DDEAF0;
+    padding: 8px;
+    line-height: 1.3em;
+    font-size: 0.9em;
+}
+
+.viewcode-back {
+    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
+                 'Verdana', sans-serif;
+}
+
+div.viewcode-block:target {
+    background-color: #f4debf;
+    border-top: 1px solid #ac9;
+    border-bottom: 1px solid #ac9;
+}
diff --git a/docs/llvm-theme/static/llvm.css b/docs/llvm-theme/static/llvm.css
deleted file mode 100644
index da4f648061e..00000000000
--- a/docs/llvm-theme/static/llvm.css
+++ /dev/null
@@ -1,345 +0,0 @@
-/*
- * sphinxdoc.css_t
- * ~~~~~~~~~~~~~~~
- *
- * Sphinx stylesheet -- sphinxdoc theme.  Originally created by
- * Armin Ronacher for Werkzeug.
- *
- * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
- */
-
-@import url("basic.css");
-
-/* -- page layout ----------------------------------------------------------- */
-
-body {
-    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
-                 'Verdana', sans-serif;
-    font-size: 14px;
-    letter-spacing: -0.01em;
-    line-height: 150%;
-    text-align: center;
-    background-color: #BFD1D4;
-    color: black;
-    padding: 0;
-    border: 1px solid #aaa;
-
-    margin: 0px 80px 0px 80px;
-    min-width: 740px;
-}
-
-div.logo {
-    background-color: white;
-    text-align: left;
-    padding: 10px 10px 15px 15px;
-}
-
-div.document {
-    background-color: white;
-    text-align: left;
-    background-image: url(contents.png);
-    background-repeat: repeat-x;
-}
-
-div.bodywrapper {
-    margin: 0 240px 0 0;
-    border-right: 1px solid #ccc;
-}
-
-div.body {
-    margin: 0;
-    padding: 0.5em 20px 20px 20px;
-}
-
-div.related {
-    font-size: 1em;
-}
-
-div.related ul {
-    background-image: url(navigation.png);
-    height: 2em;
-    border-top: 1px solid #ddd;
-    border-bottom: 1px solid #ddd;
-}
-
-div.related ul li {
-    margin: 0;
-    padding: 0;
-    height: 2em;
-    float: left;
-}
-
-div.related ul li.right {
-    float: right;
-    margin-right: 5px;
-}
-
-div.related ul li a {
-    margin: 0;
-    padding: 0 5px 0 5px;
-    line-height: 1.75em;
-    color: #EE9816;
-}
-
-div.related ul li a:hover {
-    color: #3CA8E7;
-}
-
-div.sphinxsidebarwrapper {
-    padding: 0;
-}
-
-div.sphinxsidebar {
-    margin: 0;
-    padding: 0.5em 15px 15px 0;
-    width: 210px;
-    float: right;
-    font-size: 1em;
-    text-align: left;
-}
-
-div.sphinxsidebar h3, div.sphinxsidebar h4 {
-    margin: 1em 0 0.5em 0;
-    font-size: 1em;
-    padding: 0.1em 0 0.1em 0.5em;
-    color: white;
-    border: 1px solid #86989B;
-    background-color: #AFC1C4;
-}
-
-div.sphinxsidebar h3 a {
-    color: white;
-}
-
-div.sphinxsidebar ul {
-    padding-left: 1.5em;
-    margin-top: 7px;
-    padding: 0;
-    line-height: 130%;
-}
-
-div.sphinxsidebar ul ul {
-    margin-left: 20px;
-}
-
-div.footer {
-    background-color: #E3EFF1;
-    color: #86989B;
-    padding: 3px 8px 3px 0;
-    clear: both;
-    font-size: 0.8em;
-    text-align: right;
-}
-
-div.footer a {
-    color: #86989B;
-    text-decoration: underline;
-}
-
-/* -- body styles ----------------------------------------------------------- */
-
-p {    
-    margin: 0.8em 0 0.5em 0;
-}
-
-a {
-    color: #CA7900;
-    text-decoration: none;
-}
-
-a:hover {
-    color: #2491CF;
-}
-
-div.body a {
-    text-decoration: underline;
-}
-
-h1 {
-    margin: 0;
-    padding: 0.7em 0 0.3em 0;
-    font-size: 1.5em;
-    color: #11557C;
-}
-
-h2 {
-    margin: 1.3em 0 0.2em 0;
-    font-size: 1.35em;
-    padding: 0;
-}
-
-h3 {
-    margin: 1em 0 -0.3em 0;
-    font-size: 1.2em;
-}
-
-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;
-}
-
-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;
-    padding: 0 0.2em 0 0.2em;
-    color: #aaa!important;
-}
-
-h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
-h5:hover a.anchor, h6:hover a.anchor {
-    display: inline;
-}
-
-h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
-h5 a.anchor:hover, h6 a.anchor:hover {
-    color: #777;
-    background-color: #eee;
-}
-
-a.headerlink {
-    color: #c60f0f!important;
-    font-size: 1em;
-    margin-left: 6px;
-    padding: 0 4px 0 4px;
-    text-decoration: none!important;
-}
-
-a.headerlink:hover {
-    background-color: #ccc;
-    color: white!important;
-}
-
-cite, code, tt {
-    font-family: 'Consolas', 'Deja Vu Sans Mono',
-                 'Bitstream Vera Sans Mono', monospace;
-    font-size: 0.95em;
-    letter-spacing: 0.01em;
-}
-
-tt {
-    background-color: #f2f2f2;
-    border-bottom: 1px solid #ddd;
-    color: #333;
-}
-
-tt.descname, tt.descclassname, tt.xref {
-    border: 0;
-}
-
-hr {
-    border: 1px solid #abc;
-    margin: 2em;
-}
-
-a tt {
-    border: 0;
-    color: #CA7900;
-}
-
-a tt:hover {
-    color: #2491CF;
-}
-
-pre {
-    font-family: 'Consolas', 'Deja Vu Sans Mono',
-                 'Bitstream Vera Sans Mono', monospace;
-    font-size: 0.95em;
-    letter-spacing: 0.015em;
-    line-height: 120%;
-    padding: 0.5em;
-    border: 1px solid #ccc;
-    background-color: #f8f8f8;
-}
-
-pre a {
-    color: inherit;
-    text-decoration: underline;
-}
-
-td.linenos pre {
-    padding: 0.5em 0;
-}
-
-div.quotebar {
-    background-color: #f8f8f8;
-    max-width: 250px;
-    float: right;
-    padding: 2px 7px;
-    border: 1px solid #ccc;
-}
-
-div.topic {
-    background-color: #f8f8f8;
-}
-
-table {
-    border-collapse: collapse;
-    margin: 0 -0.5em 0 -0.5em;
-}
-
-table td, table th {
-    padding: 0.2em 0.5em 0.2em 0.5em;
-}
-
-div.admonition, div.warning {
-    font-size: 0.9em;
-    margin: 1em 0 1em 0;
-    border: 1px solid #86989B;
-    background-color: #f7f7f7;
-    padding: 0;
-}
-
-div.admonition p, div.warning p {
-    margin: 0.5em 1em 0.5em 1em;
-    padding: 0;
-}
-
-div.admonition pre, div.warning pre {
-    margin: 0.4em 1em 0.4em 1em;
-}
-
-div.admonition p.admonition-title,
-div.warning p.admonition-title {
-    margin: 0;
-    padding: 0.1em 0 0.1em 0.5em;
-    color: white;
-    border-bottom: 1px solid #86989B;
-    font-weight: bold;
-    background-color: #AFC1C4;
-}
-
-div.warning {
-    border: 1px solid #940000;
-}
-
-div.warning p.admonition-title {
-    background-color: #CF0000;
-    border-bottom-color: #940000;
-}
-
-div.admonition ul, div.admonition ol,
-div.warning ul, div.warning ol {
-    margin: 0.1em 0.5em 0.5em 3em;
-    padding: 0;
-}
-
-div.versioninfo {
-    margin: 1em 0 0 0;
-    border: 1px solid #ccc;
-    background-color: #DDEAF0;
-    padding: 8px;
-    line-height: 1.3em;
-    font-size: 0.9em;
-}
-
-.viewcode-back {
-    font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
-                 'Verdana', sans-serif;
-}
-
-div.viewcode-block:target {
-    background-color: #f4debf;
-    border-top: 1px solid #ac9;
-    border-bottom: 1px solid #ac9;
-}
diff --git a/docs/llvm-theme/theme.conf b/docs/llvm-theme/theme.conf
index 330fc92ffa1..573fd78aba9 100644
--- a/docs/llvm-theme/theme.conf
+++ b/docs/llvm-theme/theme.conf
@@ -1,4 +1,4 @@
 [theme]
 inherit = basic
-stylesheet = llvm.css
+stylesheet = llvm-theme.css
 pygments_style = friendly
diff --git a/docs/llvm.css b/docs/llvm.css
deleted file mode 100644
index e3e6351adb3..00000000000
--- a/docs/llvm.css
+++ /dev/null
@@ -1,112 +0,0 @@
-/*
- * LLVM documentation style sheet
- */
-
-/* Common styles */
-.body { color: black; background: white; margin: 0 0 0 0 }
-
-/* No borders on image links */
-a:link img, a:visited img { border-style: none }
-
-address img { float: right; width: 88px; height: 31px; }
-address     { clear: right; }
-
-table       { text-align: center; border: 2px solid black;
-              border-collapse: collapse; margin-top: 1em; margin-left: 1em;
-              margin-right: 1em; margin-bottom: 1em; }
-tr, td      { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; }
-th          { border: 2px solid gray; font-weight: bold; font-size: 105%;
-              background: url("img/lines.gif");
-              font-family: "Georgia,Palatino,Times,Roman,SanSerif";
-              text-align: center; vertical-align: middle; }
-/*
- * Documentation
- */
-/* Common for title and header */
-.doc_title, .doc_section, .doc_subsection, h1, h2, h3 {
-  color: black; background: url("img/lines.gif");
-  font-family: "Georgia,Palatino,Times,Roman,SanSerif"; font-weight: bold;
-  border-width: 1px;
-  border-style: solid none solid none;
-  text-align: center;
-  vertical-align: middle;
-  padding-left: 8pt;
-  padding-top: 1px;
-  padding-bottom: 2px
-}
-
-h1, .doc_title, .title { text-align: left;   font-size: 25pt }
-
-h2, .doc_section   { text-align: center; font-size: 22pt;
-                     margin: 20pt 0pt 5pt 0pt; }
-
-h3, .doc_subsection { width: 75%;
-                      text-align: left;  font-size: 12pt;
-                      padding: 4pt 4pt 4pt 4pt;
-                      margin: 1.5em 0.5em 0.5em 0.5em }
-
-h4, .doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em;
-                         font-weight: bold; font-style: oblique;
-                         border-bottom: 1px solid #999999; font-size: 12pt;
-                         width: 75%; }
-
-.doc_author     { text-align: left; font-weight: bold; padding-left: 20pt }
-.doc_text       { text-align: left; padding-left: 20pt; padding-right: 10pt }
-
-.doc_footer     { text-align: left; padding: 0 0 0 0 }
-
-.doc_hilite     { color: blue; font-weight: bold; }
-
-.doc_table      { text-align: center; width: 90%;
-                  padding: 1px 1px 1px 1px; border: 1px; }
-
-.doc_warning    { color: red; font-weight: bold }
-
-/* 
 would use this class, and 
 adds more padding */
-.doc_code, .literal-block
-                { border: solid 1px gray; background: #eeeeee;
-                  margin: 0 1em 0 1em;
-                  padding: 0 1em 0 1em;
-                  display: table;
-                }
-
-blockquote pre {
-        padding: 1em 2em 1em 1em;
-        border: solid 1px gray;
-        background: #eeeeee;
-        margin: 0 1em 0 1em;
-        display: table;
-}
-
-h2+div, h2+p {text-align: left; padding-left: 20pt; padding-right: 10pt;}
-h3+div, h3+p {text-align: left; padding-left: 20pt; padding-right: 10pt;}
-h4+div, h4+p {text-align: left; padding-left: 20pt; padding-right: 10pt;}
-
-/* It is preferrable to use 
 everywhere instead of the
- * 
...
 construct.
- *
- * Once all docs use 
 for code regions, this style can  be merged with the
- * one above, and we can drop the [pre] qualifier.
- */
-pre.doc_code, .literal-block { padding: 1em 2em 1em 1em }
-
-.doc_notes      { background: #fafafa; border: 1px solid #cecece;
-                  display: table; padding: 0 1em 0 .1em }
-
-table.layout    { text-align: left; border: none; border-collapse: collapse;
-                  padding: 4px 4px 4px 4px; }
-tr.layout, td.layout, td.left, td.right
-                { border: none; padding: 4pt 4pt 2pt 2pt; vertical-align: top; }
-td.left         { text-align: left }
-td.right        { text-align: right }
-th.layout       { border: none; font-weight: bold; font-size: 105%;
-                  text-align: center; vertical-align: middle; }
-
-/* Left align table cell */
-.td_left        { border: 2px solid gray; text-align: left; }
-
-/* ReST-specific */
-.title { margin-top: 0 }
-.topic-title{ display: none }
-div.contents ul { list-style-type: decimal }
-.toc-backref    { color: black; text-decoration: none; }