diff options
| author | Misha Brukman <brukman+llvm@gmail.com> | 2003-10-24 17:34:50 +0000 |
|---|---|---|
| committer | Misha Brukman <brukman+llvm@gmail.com> | 2003-10-24 17:34:50 +0000 |
| commit | 03d4b0f9af92911c62c384de9de8dd00788418c5 (patch) | |
| tree | 946d7843925cddfce574584a1ef48c717bb6e7d4 /llvm/docs/llvm.css | |
| parent | d6f136c6b11c3974c9356bb7d9c7e719e5742bbd (diff) | |
| download | bcm5719-llvm-03d4b0f9af92911c62c384de9de8dd00788418c5.tar.gz bcm5719-llvm-03d4b0f9af92911c62c384de9de8dd00788418c5.zip | |
* Made into valid CSS that W3C accepts
* Added document subsubsection styles for usage in documentation
llvm-svn: 9472
Diffstat (limited to 'llvm/docs/llvm.css')
| -rw-r--r-- | llvm/docs/llvm.css | 23 |
1 files changed, 19 insertions, 4 deletions
diff --git a/llvm/docs/llvm.css b/llvm/docs/llvm.css index b4acede6e8c..1962fab9d4b 100644 --- a/llvm/docs/llvm.css +++ b/llvm/docs/llvm.css @@ -3,7 +3,7 @@ */ /* Common styles */ -.body { text: black; background: white; margin: 0 0 0 0 } +.body { color: black; background: white; margin: 0 0 0 0 } /* * Documentation @@ -16,12 +16,27 @@ } .doc_title { text-align: left; font-size: 25pt } -.doc_section { text-align: center; font-size: 22pt } +.doc_section { text-align: center; font-size: 22pt; } .doc_subsection { background: #441188; width: 50%; - text-align: left; font-size: 12pt; padding: 4 4 4 22 } + text-align: left; font-size: 12pt; padding: 4pt 4pt 4pt 4pt; + margin: 1.5em 0.5em 1.5em 0.5em } + +/* In the future, the 2nd level subsection style may want to become this: +.doc_subsubsection { margin: 1.5em 0.5em 1.5 0.5em; + font-weight: bold; font-style: oblique; + border-bottom: 2px dotted #999999 } +*/ + +/* However, to be consistent with the rest of current documentation which is not + all yet using stylesheets, we try to emulate the former layout. */ +.doc_subsubsection { margin: 1.5em 0.5em 1.5em 0.5em; + font-weight: bold; + border-top: 2px solid #cecece } + .doc_text { text-align: left; padding-left: 20pt } /* Publications */ -.pub_title { font-family: "Georgia,Palatino,Times,Roman"; font-size: 24pt; +.pub_title { font-family: "Georgia,Palatino,Times,Roman"; + font-size: 24pt; text-align: center } .pub_author { font-size: 14pt; text-align: center } |
