[llvm-commits] CVS: llvm-www/releases/1.0/docs/llvm.css

[Misha Brukman]

Changes in directory llvm-www/releases/1.0/docs:

llvm.css added (r1.1)

---
Log message:

We need the stylesheet for the documentation!


---
Diffs of the changes:  (+47 -0)

Index: llvm-www/releases/1.0/docs/llvm.css
diff -c /dev/null llvm-www/releases/1.0/docs/llvm.css:1.1
*** /dev/null	Fri Oct 24 18:38:26 2003
--- llvm-www/releases/1.0/docs/llvm.css	Fri Oct 24 18:38:16 2003
***************
*** 0 ****
--- 1,47 ----
+ /*
+  * LLVM website style sheet
+  */
+ 
+ /* Common styles */
+ .body { color: black; background: white; margin: 0 0 0 0 }
+ 
+ /* 
+  * Documentation 
+  */
+ /* Common for title and header */
+ .doc_title, .doc_section, .doc_subsection { 
+   color: #eeeeff; background: #330077;
+   font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold;
+   padding-left: 8pt
+ }
+ 
+ .doc_title      { text-align: left;   font-size: 25pt }
+ .doc_section    { text-align: center; font-size: 22pt; }
+ .doc_subsection { background: #441188; width: 50%;
+                   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 }
+ 
+ .doc_footer     { text-align: left; padding: 0 0 0 0; font-size 12pt }
+ 
+ .doc_red        { color: red }
+ 
+ 
+ /* Publications */
+ .pub_title  { font-family: "Georgia,Palatino,Times,Roman";
+               font-size: 24pt; 
+               text-align: center }
+ .pub_author { font-size: 14pt; text-align: center }