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 | 7905a8aab54759878f715df8aa6a8c6e92a0e707 (patch) | |
| tree | 17fa84adb5c664bde15b7a5845bf0fff5936c3a6 | |
| parent | 13964e02f9aec0e980a9ca194b75d830f533e9af (diff) | |
| download | external_llvm-7905a8aab54759878f715df8aa6a8c6e92a0e707.tar.gz external_llvm-7905a8aab54759878f715df8aa6a8c6e92a0e707.tar.bz2 external_llvm-7905a8aab54759878f715df8aa6a8c6e92a0e707.zip | |
* Made into valid CSS that W3C accepts
* Added document subsubsection styles for usage in documentation
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9472 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | docs/llvm.css | 23 |
1 files changed, 19 insertions, 4 deletions
diff --git a/docs/llvm.css b/docs/llvm.css index b4acede6e8..1962fab9d4 100644 --- a/docs/llvm.css +++ b/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 } |