index.html: Add link to llvm vs. the world

llvm.css: Add padding on top and bottom so that letters do not merge with
surrounding whitespace

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9929 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/index.html b/docs/index.html
index 5dc1da029a023e9ead49abac076c501513338c1f..20f73fdb62e4a4902cd7cc6cfc66172a687491e8 100644 (file)
--- a/docs/index.html
+++ b/docs/index.html
@@ -157,6 +157,12 @@ LLVM User Guides:
     <dd>
         <a href="TestingGuide.html"> llvm/docs/TestingGuide.html</a>
         <p>
+
+    <dt>
+    Comparison of LLVM to other frameworks:
+    <dd>
+        <a href="LLVMVsTheWorld.html"> llvm/docs/LLVMVsTheWorld.html</a>
+        <p>
 </dl>
 
 <h3>

diff --git a/docs/llvm.css b/docs/llvm.css
index 2f234daaa7f03ae958281ed505770651665484ce..deaff92c0497cf59723e9a5c43d3bd26dc04b555 100644 (file)
--- a/docs/llvm.css
+++ b/docs/llvm.css
@@ -12,7 +12,9 @@
 .doc_title, .doc_section, .doc_subsection { 
   color: #ffffff; background: #330077;
   font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold;
-  padding-left: 8pt
+  padding-left: 8pt;
+  padding-top: 1px;
+  padding-bottom: 2px
 }
 
 .doc_title      { text-align: left;   font-size: 25pt }