diff options
Diffstat (limited to 'tools/mof.css')
-rw-r--r-- | tools/mof.css | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/tools/mof.css b/tools/mof.css new file mode 100644 index 0000000..fbfa3ff --- /dev/null +++ b/tools/mof.css @@ -0,0 +1,66 @@ +table { + text-align: left; + vertical-align: top; +} +th, td { + text-align: left; + border-style: inset; + border-width: 1px; + vertical-align: top; +} + +table.properties{ + border-style: outset; + border-width: 1px; +} + +table.qualifiers{ + border-style: none; +} + +th.qualifiers, td.qualifiers { + border-style: none; +} + +table.parameters{ + border-style: outset; + border-width: 1px; +} + +th.parameters, td.parameters { + border-style: inset; + border-width: 1px; +} + +table.inherited { + border-style: outset; + border-width: 1px; +} + +.tree { + border-style: none; +} + +.deprecated{ + color: red; + font-weight: bold; + +} + +span.tree_local { + font-weight: bold; +} + +span.tree_inherited { + color: gray; +} + +table.key { + border-style: outset; + border-width: 1px; +} + +td.key { + border-style: inset; + border-width: 1px; +} |