diff --git a/common/css/common.css b/common/css/common.css index 9dc5be9e1..aed6a64df 100644 --- a/common/css/common.css +++ b/common/css/common.css @@ -1,39 +1,7 @@ - ol{ list-style:decimal; } ol ol{ list-style:upper-alpha; } ol ol ol{ list-style:lower-roman; } ol ol ol ol{ list-style:lower-alpha; } - -/* following rules are specifically for the complex nested list in #textequivalentcomputation */ -/* but perhaps we should abstract this out to a more general classname (like .stepbystep or .nested) instead */ -#textequivalentcomputation li{ - margin-top:0.5em; - margin-bottom:0.5em; -} -#textequivalentcomputation > ol{ - padding-top:0.5em; - padding-bottom:0.7em; - border:solid 1px #ccc; -} -#textequivalentcomputation > ol > li{ - margin-right:2em; -} - -/* not clear where/why the following two blocks are used; spacing on .role causes problem in html-aam; commenting out for now - * -.role, .state, .property, .widget { - margin-left: 2em; - margin-bottom: 4ex; -} - -.role-name, .state-name, .property-name, .widget-name { - /* margin-left: -2em; */ -/* font-size: 100%; - font-weight: bold; - font-style: normal; - font-variant: normal; -} -*/ .role-parent ul, .role-base ul, .role-children ul, @@ -58,22 +26,6 @@ ol ol ol ol{ list-style:lower-alpha; } padding:0; list-style-type:none; } -/* -.role-parent ul li, .role-children ul li, .role-related ul li, .role-scope ul li, .role-mustcontain ul li, .role-required-properties ul li, .role-properties ul li, .role-inherited ul li, .role-namefrom ul li, .state-value ul li, .state-related ul li, .state-applicability ul li, .state-descendants ul li, .property-value ul li, .property-related ul li, .property-applicability ul li, .property-descendants ul li { - display: inline; -} -.role-parent ul li:after, .role-children ul li:after, .role-related ul li:after, .role-scope ul li:after, .role-mustcontain ul li:after, .role-required-properties ul li:after, .role-properties ul li:after, .role-inherited ul li:after, .role-namefrom ul li:after, .state-value ul li:after, .state-related ul li:after, .state-applicability ul li:after, .state-descendants ul li:after, .property-value ul li:after, .property-related ul li:after, .property-applicability ul li:after, .property-descendants ul li:after { - content: " "; -} -*/ -/* -.widget-description ul, .widget-keyboard ul, .widget-mouse ul, .widget-styling ul, .widget-aria ul, .widget-example ul { - margin: 0; - padding: 0; - list-style-type: none; -} -*/ - table{ border:solid 2px #999; border-width:1px 0 0 1px; @@ -108,21 +60,6 @@ table.role-features tbody th, table.state-features tbody th, table.property-feat th+th, td+td{ width:auto; } -/* -.role-abstract-head, .role-parent-head, .role-children-head, .role-related-head, .role-scope-head, .role-mustcontain-head, .role-required-properties-head, .role-properties-head, .role-inherited-head, .role-namefrom-head, .role-child-presentational-head, .role-presentational-inherited-head, .state-value-head, .state-related-head, .state-applicability-head, .property-value-head, .property-related-head, .property-applicability-head, .widget-description-head, .widget-keyboard-head, .widget-mouse-head, .widget-styling-head, .widget-aria-head, .widget-example-head { - width: 20em; -} -table.role-features, table.role-features tbody tr td, table.role-features thead tr th, table.state-features, table.state-features tbody tr td, table.state-features thead tr th, table.property-features, table.property-features tbody tr td, table.property-features thead tr th, table.widget-features, table.widget-features tbody tr td, table.widget-features tbody tr th { - border: 1px solid #000000; -} -table.role-properties tbody tr th, table.state-properties tbody tr th, table.property-properties tbody tr th { - padding-right: 1em; -} -table.value-descriptions caption { - margin-top: 1em; -} -*/ - html code, html pre, html kbd{ /* more specific selector than the default W3C style sheet */ /* Most browsers default 'monospace' to Courier, which has an ex-height of about 60% normal size. */ /* Monaco has a normal ex-height so font sizes appear more consistent with surrounding non-monospaced text. */ @@ -138,29 +75,6 @@ html pre { /* more specific selector than the default W3C style sheet */ font-size:0.75em; /* text in blocks code blocks looked too big now that font is back to normal size */ line-height:1.4; /* [sic] unitless multiplier, not EM size */ } -pre .tag, code .tag, code.tag{ - color:#00c; /* blue */ -} -pre .str, code .str, code.str{ - color:#090; /* green */ -} -pre .comment, code .comment, code.comment, .comment .str, .comment .tag{ - color:#777; /* gray */ -} -/* -.role-reference, .role-reference:link, .role-reference:visited { - background-color: #eee; -} -.state-reference, .state-reference:link, .state-reference:visited { - background-color: #ffc; -} -.property-reference, .property-reference:link, .property-reference:visited { - background-color: #ccf; -} -.widget-reference, .widget-reference:link, .widget-reference:visited { - background-color: #9f6; -} -*/ .termref, a.termref:link { color:#006400; text-decoration:none; @@ -169,86 +83,23 @@ pre .comment, code .comment, code.comment, .comment .str, .comment .tag{ a.termref:visited { color:inherit; } -a.termref:hover, a.termref:focus { - background-color: #fafad2; - color: #006400; -} -.empty { - display: none; -} .note { color:#444; border:solid 1px #ccc; margin:1em 0; padding:1em 2em; } -.ednote { - border:solid 3px #cca; - background-color:#ffd; - padding:0 0.8em; -} -.role-screenshot { - float: right; - margin-left: 1em; - margin-bottom: 1ex; -} -.role-screenshot p { - text-align: center; - font-size: smaller; -} .image { text-align: center; } -.img { - margin-left: auto; - margin-right: auto; -} -.img p { - text-align: center; - font-weight: bold; - font-size: smaller; -} .img-caption { font-weight: bold; } -/* -dl.runin dt { - display: run-in; -} -dl.runin dt:after { - content: ": "; -} -*/ dl.compact dt { font-weight:normal; } -/* -dl.compact dd { - margin-left: 5em; -} -*/ .rfc2119 { font-weight: bold; text-transform: uppercase; } -.todo { - background-color:#f99; -} -.issue { - background-color:#0c0; -} -abbr.symbol { - border-bottom:none; -} - -.aref { - font-family: monospace; - font-weight: bold; - color: #ff4500 !important; -} - -/* prevent
from butting up against previous
in .termlist (terms.html) */ .termlist dt {margin-top: 1em;} - - -