michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: @namespace xlink url("http://www.w3.org/1999/xlink"); 
michael@0: 
michael@0: Documentation {
michael@0:   display: block;
michael@0:   font-family: Verdana, sans-serif;
michael@0:   font-size: 11pt;
michael@0:   margin: 8px;
michael@0: }
michael@0: Author {
michael@0:   display: block;
michael@0:   font-size: 90%;
michael@0: }
michael@0: Author:before {
michael@0:   content: "Author: ";
michael@0:   font-weight: bold;
michael@0: }
michael@0: UpdateDate {
michael@0:   display: block;
michael@0:   font-size: 90%;
michael@0: }
michael@0: UpdateDate:before {
michael@0:   content: "Updated: ";
michael@0:   font-weight: bold;
michael@0: }
michael@0: Title {
michael@0:   display: block;
michael@0:   font-size: 250%;
michael@0:   font-weight: bold;
michael@0:   letter-spacing: -1.25pt;
michael@0:   margin-top: 0;
michael@0:   margin-bottom: .5em;
michael@0: }
michael@0: SectionHeading {
michael@0:   display: block;
michael@0:   font-size: 125%;
michael@0:   font-weight: bold;
michael@0:   margin-top: 2em;
michael@0:   margin-bottom: .5em;
michael@0: }
michael@0: Body {
michael@0:   display: block;
michael@0:   margin-top: 1em;
michael@0:   margin-bottom: .5em;
michael@0: }
michael@0: SectionHeading + Body {  /* body after section heading */
michael@0:   margin-top: 0;
michael@0: }
michael@0: Components {
michael@0:   display: block;
michael@0:   margin-top: 1em;
michael@0:   margin-left: .5in;
michael@0:   border: dotted 1px black;
michael@0: }
michael@0: :link:hover {
michael@0:   background-color: blue;
michael@0:   color: white;
michael@0:   cursor: pointer;
michael@0: }
michael@0: 
michael@0: /* workaround for above rule not working */
michael@0: *[xlink|type] {
michael@0:   cursor: pointer;
michael@0: }
michael@0: 
michael@0: /* workaround for above rule not working */
michael@0: *[xlink|show="replace"] {
michael@0:   cursor: pointer;
michael@0: }
michael@0: 
michael@0: Term {
michael@0:   display: block;
michael@0:   font-weight: bold;
michael@0:   background-color: lightyellow;
michael@0:   padding-left: .5em;
michael@0: }
michael@0: Definition {
michael@0:   display: block;
michael@0:   margin-left: 40px;
michael@0: }
michael@0: Interfaces, Characteristics, Items, Categories {
michael@0:   display: block;
michael@0:   margin-left: 40px;
michael@0:   list-style-position: outside;
michael@0:   list-style-type: disc;
michael@0: }
michael@0: Purposes {
michael@0:   display: block;
michael@0:   margin-left: 40px;
michael@0:   list-style-position: outside;
michael@0:   list-style-type: decimal;
michael@0:   counter-reset: -html-counter 0;
michael@0: }
michael@0: Interface, Characteristic, Purpose, Item, Category {
michael@0:   display: list-item;
michael@0: }
michael@0: RunIn {
michael@0:   display: inline;
michael@0:   font-weight: bold;
michael@0: }
michael@0: Note {
michael@0:   width: 2in;
michael@0:   height: auto;
michael@0:   float: right;
michael@0:   font-size: 90%;
michael@0:   margin-left: 1em;
michael@0:   margin-right: .5em;
michael@0:   border-top: solid 2px black;
michael@0:   border-bottom: solid 1px black;
michael@0:   padding: .5em 0;
michael@0: }
michael@0: Note:before {
michael@0:   content: "Note";
michael@0:   font-weight: bold;
michael@0:   display: inline;
michael@0:   background-color: black;
michael@0:   color: white;
michael@0:   margin-right: .25em;
michael@0:   padding: .5em .25em 0 .25em;
michael@0: }
michael@0: