From 56d3cc5793c612c788765842dfe49915451dc739 Mon Sep 17 00:00:00 2001
From: Brian Gaeke <gaeke@uiuc.edu>
Date: Wed, 12 Nov 2003 20:31:18 +0000
Subject: [PATCH] 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

llvm-svn: 9929
---
 llvm/docs/index.html | 6 ++++++
 llvm/docs/llvm.css   | 4 +++-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/llvm/docs/index.html b/llvm/docs/index.html
index 5dc1da029a02..20f73fdb62e4 100644
--- a/llvm/docs/index.html
+++ b/llvm/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/llvm/docs/llvm.css b/llvm/docs/llvm.css
index 2f234daaa7f0..deaff92c0497 100644
--- a/llvm/docs/llvm.css
+++ b/llvm/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 }