[llvm-commits] CVS: llvm-www/llvm.css

[Misha Brukman]

Changes in directory llvm-www:

llvm.css updated: 1.12 -> 1.13
---
Log message:

Remove dependence on llvm/docs/llvm.css 


---
Diffs of the changes:  (+18 -21)

Index: llvm-www/llvm.css
diff -u llvm-www/llvm.css:1.12 llvm-www/llvm.css:1.13
--- llvm-www/llvm.css:1.12	Mon Sep  6 23:56:57 2004
+++ llvm-www/llvm.css	Tue Sep  7 00:07:28 2004
@@ -1,26 +1,7 @@
 /*
- * WHEREAS, we ship source code with the docs/ directory, we need to provide
- * users with a style sheet in that directory so that the files they download
- * look like the ones they see online;
- *
- * WHEREAS, it is quite silly to maintain two identical stylesheets in CVS; 
- *
- * BE IT RESOLVED THAT we shall maintain one, and the other one will slurp the
- * content.
+ * LLVM website style sheet
  */
 
- at import url("docs/llvm.css");
-
-/* Reset table properties to default for the website */
-table { text-align: left; border-collapse: default; margin: default }
-table, tr, th, td { border: none }
-
-TR, TD      { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; }
-TH          { border: 2px solid gray; font-weight: bold; font-size: 105%; }
-TABLE       { text-align: center; border: 2px solid black; 
-              border-collapse: collapse; margin-top: 1em; margin-left: 1em; 
-              margin-right: 1em; margin-bottom: 1em; }
-
 /* Main website */
 .www_title  { font-family: "Georgia,Palatino,Times,Roman";
               font-size: 33pt; 
@@ -35,7 +16,7 @@
                background: url("img/lines.gif");
                border: 2px solid #cccccc }
 
-.www_sectiontitle {
+.www_sectiontitle, .www_subsection {
                border-width: 1px;
                border-style: solid none solid none;
                text-align: center;
@@ -47,6 +28,22 @@
                width: 100%;
                margin-bottom: 0.3em; }
 
+.www_subsection { width: 75%;
+                  text-align: left;  font-size: 12pt; padding: 4pt 4pt 4pt 4pt;
+                  margin: 1.5em 0.5em 0.5em 0.5em }
+
+.www_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%; }
+
+
+.www_code { border: solid 1px gray; background: #eeeeee;
+            margin: 0 1em 0 1em; 
+            padding: 0 1em 0 1em;
+            display:table; }
+
+
 /* Publications */
 .pub_title  { font-family: "Georgia,Palatino,Times,Roman";
               font-size: 24pt;