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