mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 22:35:43 +02:00
Code Issues Wiki Activity

Added Mike Behm's (Red Hat) mark up to help.css.

Browse source
This commit is contained in:
Tanya-Marise De Sousa 2003-12-19 20:50:45 +00:00
parent f26603479a
commit d8d5fd9434
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
doc/org.eclipse.cdt.doc.user/help.css
View file

@ -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;}