From 1ce764e083e8e9cf0014ef589f6b54e13cc2e4e6 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9929 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/index.html | 6 ++++++
 docs/llvm.css   | 4 +++-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/docs/index.html b/docs/index.html
index 5dc1da029a0..20f73fdb62e 100644
--- 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 2f234daaa7f..deaff92c049 100644
--- 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 }