diff options
author | NAKAMURA Takumi <geek4civic@gmail.com> | 2011-04-18 01:17:51 +0000 |
---|---|---|
committer | NAKAMURA Takumi <geek4civic@gmail.com> | 2011-04-18 01:17:51 +0000 |
commit | 6483513a6dec0defe85a55a8792d22134e9eefa7 (patch) | |
tree | dda99273770988e760983154808fe7fce160e708 /llvm/docs/llvm.css | |
parent | 940f02d248d96f1b10e7cb23f9734f369d25da84 (diff) | |
download | bcm5719-llvm-6483513a6dec0defe85a55a8792d22134e9eefa7.tar.gz bcm5719-llvm-6483513a6dec0defe85a55a8792d22134e9eefa7.zip |
docs: Redefine Heading elements as below;
H1 ... Title (and might be Chapter in future)
H2 ... Section
H3 ... Subsection
H4 ... Sub-subsection
llvm-svn: 129683
Diffstat (limited to 'llvm/docs/llvm.css')
-rw-r--r-- | llvm/docs/llvm.css | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/llvm/docs/llvm.css b/llvm/docs/llvm.css index f572b5e5714..846de2e0aa2 100644 --- a/llvm/docs/llvm.css +++ b/llvm/docs/llvm.css @@ -23,7 +23,7 @@ th { border: 2px solid gray; font-weight: bold; font-size: 105%; * Documentation */ /* Common for title and header */ -.doc_title, .doc_section, .doc_subsection, h1, h2 { +.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; @@ -35,17 +35,17 @@ th { border: 2px solid gray; font-weight: bold; font-size: 105%; padding-bottom: 2px } -h1, .doc_section { text-align: center; font-size: 22pt; - margin: 20pt 0pt 5pt 0pt; } +h1, .doc_title, .title { text-align: left; font-size: 25pt } -.doc_title, .title { text-align: left; font-size: 25pt } +h2, .doc_section { text-align: center; font-size: 22pt; + margin: 20pt 0pt 5pt 0pt; } -h2, .doc_subsection { width: 75%; +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 } -h3, .doc_subsubsection { margin: 2.0em 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%; } |