From d8d5fd943491b9921005afc7888481a5eb9266c2 Mon Sep 17 00:00:00 2001
From: Tanya-Marise De Sousa <tdesous@ca.ibm.com>
Date: Fri, 19 Dec 2003 20:50:45 +0000
Subject: [PATCH] Added Mike Behm's (Red Hat) mark up to help.css.

---
 doc/org.eclipse.cdt.doc.user/help.css | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/doc/org.eclipse.cdt.doc.user/help.css b/doc/org.eclipse.cdt.doc.user/help.css
index 295336ac7fb..1276d8d1e3e 100644
--- a/doc/org.eclipse.cdt.doc.user/help.css
+++ b/doc/org.eclipse.cdt.doc.user/help.css
@@ -38,4 +38,15 @@ div.revision { border-left-style: solid; border-left-width: thin;
 				   border-left-color: #7B68EE; padding-left:5 }
 th	     { font-weight: bold }
 
+/* Mike Behm's addition to the style sheet */
+.userinput { font-family: monospace; }
+.guitab, .important, .guibutton, .selectblue, .guimenu, .guilabel, 
+.notetitle  {
+     color: #000000;
+     font-family: helvetica, arial, sans-serif;
+     font-weight: bold;
+     }
+div.linux  {display:none;}
+.firsterm {font-style:italic;}
+