Skip to main content
summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorTanya-Marise De Sousa2003-12-19 20:50:45 +0000
committerTanya-Marise De Sousa2003-12-19 20:50:45 +0000
commitd8d5fd943491b9921005afc7888481a5eb9266c2 (patch)
tree4217e65700ed8079e8232d4b564b804eeb9b8c10 /doc
parentf26603479a8e380d5e79292570288adb6077fa3b (diff)
downloadorg.eclipse.cdt-d8d5fd943491b9921005afc7888481a5eb9266c2.tar.gz
org.eclipse.cdt-d8d5fd943491b9921005afc7888481a5eb9266c2.tar.xz
org.eclipse.cdt-d8d5fd943491b9921005afc7888481a5eb9266c2.zip
Added Mike Behm's (Red Hat) mark up to help.css.CDT_2_0_M5_1
Diffstat (limited to 'doc')
-rw-r--r--doc/org.eclipse.cdt.doc.user/help.css11
1 files changed, 11 insertions, 0 deletions
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;}
+

Back to the top