diff options
Diffstat (limited to 'propertysheet/src/org/eclipse/wb/internal/core/model/property/table/Tooltip.css')
-rw-r--r-- | propertysheet/src/org/eclipse/wb/internal/core/model/property/table/Tooltip.css | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/propertysheet/src/org/eclipse/wb/internal/core/model/property/table/Tooltip.css b/propertysheet/src/org/eclipse/wb/internal/core/model/property/table/Tooltip.css deleted file mode 100644 index 2ba2a02..0000000 --- a/propertysheet/src/org/eclipse/wb/internal/core/model/property/table/Tooltip.css +++ /dev/null @@ -1,35 +0,0 @@ -/* Font definitions */ -html { font-family: 'Segoe UI','Verdana','Helvetica',sans-serif; font-size: 9pt; font-style: normal; font-weight: normal; } -body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt { font-size: 1em; } -pre { font-family: monospace; } - -/* Margins */ -body { overflow: auto; margin-top: 0px; margin-bottom: 0px; margin-left: 0.3em; margin-right: 0.3em; } -div { margin: 0px; } -h1 { margin-top: 0.3em; margin-bottom: 0.04em; } -h2 { margin-top: 2em; margin-bottom: 0.25em; } -h3 { margin-top: 1.7em; margin-bottom: 0.25em; } -h4 { margin-top: 2em; margin-bottom: 0.3em; } -h5 { margin-top: 0px; margin-bottom: 0px; } -p { margin-top: 0em; margin-bottom: 0em; } -pre { margin-left: 0.6em; } -ul { margin-top: 0px; margin-bottom: 1em; } -li { margin-top: 0px; margin-bottom: 0px; } -li p { margin-top: 0px; margin-bottom: 0px; } -ol { margin-top: 0px; margin-bottom: 1em; } -dl { margin-top: 0px; margin-bottom: 1em; } -dt { margin-top: 0px; margin-bottom: 0px; font-weight: bold; } -dd { margin-top: 0px; margin-bottom: 0px; } - -/* Styles and colors */ -a:link { color: #0000FF; } -a:hover { color: #000080; } -a:visited { text-decoration: underline; } -a.header:link { text-decoration: none; color: InfoText } -a.header:visited { text-decoration: none; color: InfoText } -a.header:hover { text-decoration: underline; color: #000080; } -h4 { font-style: italic; } -strong { font-weight: bold; } -em { font-style: italic; } -var { font-style: italic; } -th { font-weight: bold; } |