[docs] Use the same theme as our internal docs.

In particular, this uses normal HTML bullets instead of images so that
rich text copy/paste works correctly.

Swift SVN r23376

Author: jrose-apple

Diff for: docs/_static/swift.css

@@ -1,77 +1,9 @@
-/* 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       { 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("http://llvm.org/img/lines.gif");
-  font-family: "Georgia,Palatino,Times,Roman,SanSerif";
-  text-align: center; vertical-align: middle; }
-
-
-/* Common for title and header */
-h1, h2 {
-  color: black; background: url("http://llvm.org/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: 0pt;*/
-  padding-top: 1px;
-  padding-bottom: 2px
-}
-
-
-h1 {
-  text-align: center; font-size: 22pt;
-  margin: 20pt 0pt 0pt 0pt; 
-}
-
-.doc_title, .title { text-align: left;   font-size: 25pt }
-
-h2, .doc_subsection { width: 100%;
-  text-align: left;  font-size: 12pt;
-  padding: 4pt 4pt 4pt 4pt;
-  margin: 1.5em 5em 0.5em 0em
-}
-
-h3 {
-  margin: 2.0em 0.5em 0.5em 0em;
-  font-weight: bold; font-style: oblique;
-  border-bottom: 1px solid #999999; font-size: 12pt;
-  width: 75%;
-  clear:both;
-}
-
-body p {
-  margin: 1em 0pt 0pt 15pt; 
-}
-
-
-pre.grammar, pre.stdlib {
-  background: #FFFFE0;
-  padding: 1em 0 0 0;
-}
-
-pre.example {
-  background: #F0F0F0;
-  padding: 1em 0 0 0;
-}
-
-.commentary {
-  float: right;
-  width: 33%;
-  background: #C0C0FF;
-  padding: 1em 1em 1em 1em;
-  margin: 0em 0em 0em 1em; 
+/* Just add a few things to the default theme. */
+@import "haiku.css";
+
+div.content ul > li {
+  background: none;
+  list-style-type: initial;
+  padding-left: 0;
+  margin-left: 2em;
 }

Diff for: docs/conf.py

@@ -92,6 +92,8 @@
 # a list of builtin themes.
 html_theme = 'haiku'
 
+html_style = 'swift.css'
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.