diff options
author | Tanya-Marise De Sousa | 2003-12-19 20:50:45 +0000 |
---|---|---|
committer | Tanya-Marise De Sousa | 2003-12-19 20:50:45 +0000 |
commit | d8d5fd943491b9921005afc7888481a5eb9266c2 (patch) | |
tree | 4217e65700ed8079e8232d4b564b804eeb9b8c10 /doc | |
parent | f26603479a8e380d5e79292570288adb6077fa3b (diff) | |
download | org.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.css | 11 |
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;}
+
|