diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/org.eclipse.cdt.doc.user/help.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/org.eclipse.cdt.doc.user/help.css b/doc/org.eclipse.cdt.doc.user/help.css index 5c2369858b4..797473964ab 100644 --- a/doc/org.eclipse.cdt.doc.user/help.css +++ b/doc/org.eclipse.cdt.doc.user/help.css @@ -38,6 +38,9 @@ var { font-style: italic} div.revision { border-left-style: solid; border-left-width: thin; border-left-color: #7B68EE; padding-left:5 } th { font-weight: bold } +.hidden { + display: none; +} /* Mike Behm's addition to the style sheet */ .userinput { font-family: monospace; } |