diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-05-23 21:03:30 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-05-23 21:03:30 +0000 |
| commit | 88c595fb87125de4d4789ccaf2d13a8b4cd134d9 (patch) | |
| tree | 221a4c74730e90f93987e773c87103e21c007635 | |
| parent | 0d8c2db1c9c3b541e247ef27a37b4a23e2e7d939 (diff) | |
| download | external_llvm-88c595fb87125de4d4789ccaf2d13a8b4cd134d9.zip external_llvm-88c595fb87125de4d4789ccaf2d13a8b4cd134d9.tar.gz external_llvm-88c595fb87125de4d4789ccaf2d13a8b4cd134d9.tar.bz2 | |
Various changes to make the docs look nicer. Add a new doc_author class.
The one thing that someone (misha?) should look at is fixing doc_code so that it sizes to fit the code instead of going to the right margin all of the way. Fixing it at a particular number of pixels was just wrong. :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13668 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | docs/llvm.css | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/docs/llvm.css b/docs/llvm.css index b5073e1..793c431 100644 --- a/docs/llvm.css +++ b/docs/llvm.css @@ -28,27 +28,28 @@ address { clear: right; } } .doc_title { text-align: left; font-size: 25pt } -.doc_section { text-align: center; font-size: 22pt; } -.doc_subsection { width: 50%; +.doc_section { text-align: center; font-size: 22pt; + margin: 20pt 0pt 5pt 0pt; } +.doc_subsection { width: 75%; text-align: left; font-size: 12pt; padding: 4pt 4pt 4pt 4pt; - margin: 1.5em 0.5em 1.5em 0.5em } + margin: 1.5em 0.5em 0.5em 0.5em } -.doc_subsubsection { margin: 1.5em 0.5em 1.5em 0.5em; - padding: 20pt 4pt 4pt 4pt; +.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 } - + 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 } .doc_footer { text-align: left; padding: 0 0 0 0 } .doc_red { color: red } -.doc_table { text-align: center; width: 90%; +.doc_table { text-align: center; width: 90%; padding: 1px 1px 1px 1px; border: 1px; } .doc_warning { color: red; font-weight: bold } .doc_code { border: solid 1px gray; background: #eeeeee; - width: 700px; margin: 0 0 0 1em; + margin: 0 0 0 1em; padding: 0 0 0 1em } |