created: 20150117152612000 modified: 20150118161750000 title: $:/editions/tw5.com/doc-styles tags: $:/tags/Stylesheet .doc-def { font-style: normal; font-weight: bold; } .doc-em { font-style: italic; font-variant: small-caps; text-decoration: none; } .doc-strong { color: <>; font-style: normal; font-weight: bold; } .doc-foreign { font-style: italic; } .doc-place { background-color: <>; border: none; color: <>; font-style: italic; } .doc-button, .doc-tab, .doc-tag, .doc-tiddler, .doc-field, .doc-value, .doc-operator, .doc-var, .doc-widget { background-color: <>; border: none; color: <>; font-weight: bold; padding: 0; } a .doc-place, a .doc-button, a .doc-tab, a .doc-tag, a .doc-tiddler, a .doc-field, a .doc-value, a .doc-operator, a .doc-var, a .doc-widget { color: <>; } .doc-button svg { height: 1em; } td svg { height: 1em; } .doc-key { color: <>; font-weight: bold; } .doc-clink code { color: <>; } .doc-preamble { border: 2px solid <>; color: <>; font-size: 90%; margin-left: 0; padding: 0.5em 0.7em; } .doc-example { margin: 1em 0; padding: 0.8em 0; } .doc-example:hover { background-color: <>; } .doc-example ul { margin-bottom: 0; padding-bottom: 0; margin-top: 0.2em; }