/* RISC OS Open Instiki stylesheet. * * Based on the Instiki default stylesheet. */ @import url("/css/risc_os_open.css"); /* Set the page heading spacing */ h2#pageName { margin-bottom: 16px; } div#content h3 { margin: 16px 0; } /* Put a thin line under the byline (revision info), * above the links to edit the page, view changes etc. */ div.byline { margin-bottom: 10px; border-bottom: 1px solid #c4ccd8; padding-bottom: 10px; } div#content table, div#content td, div#content tr { margin: 0; padding: 0; } div#content td { padding-right: 10px; } /* Text used in the navigation part of the sidebar for * the currently selected page. */ .sidebar-node .navOn { font-size: 90% } .newWikiWord { background-color: #BFBFBF; } .newWikiWord a:hover { background-color: white; } form#navigationSearchForm { display: inline; } form#navigationSearchForm input { font-size: 80%; } div#Container .navigation { margin-top: 0.3em; font-size : 90%; color: #999; } .help { font-family: verdana, arial, helvetica, sans-serif; font-size: 70%; } .inputBox { font-family: verdana, arial, helvetica, sans-serif; font-size: 80%; background-color: #EEE; padding: 0.3em; margin-bottom: 1.5em; } blockquote { display: block; font-size: 90%; margin: 0 0 1.5em 0; padding: 0 2.5em; line-height: 1.5em; font-style: italic; } ol.setup { font-size: 110%; font-family: georgia, verdana, sans-serif; padding-left: 1.5em; margin-top: 1em; } .byline { padding-top: 1em; font-size: 60%; font-style: italic; margin-bottom: 1em; color: #999; } .diffdel, del.diffmod { background: #fcc; } .diffins, ins.diffmod { background: #cfc; } #footer { font-size: 60%; line-height: 1.2em; color: #999; font-style: italic; text-align: right; padding-top: 2em; } div.inputFieldWithPrompt { margin: 0.75em 0; } div.errorExplanation { color: #900; background-color: #FFA; font-style: italic; font-weight: bold; margin: 1.5em 0; padding: 1em; width: 100%; } div.errorExplanation h2 { display: none; } div.errorExplanation p { padding: 0; margin: 0; border: none; } div.errorExplanation ul { padding: 0; margin: 0.5em 0 0 2em; border: none; } div.errorExplanation li { padding: 0; margin: 0; border: none; } div.fieldWithErrors input { border: 1px solid #900; } div.info { color: #060; background-color: #BFBFBF; padding: 0.5em; margin-top: 0.5em; font-weight: bold; width: 100%; } div#MarkupHelp { margin-left: 10px; } div#MarkupHelp table { margin-bottom: 0; border-top: 3px solid #999; border-left: 3px solid #999; border-right: 3px solid #BBB; border-bottom: 3px solid #BBB} div#MarkupHelp td { font-size: 80%; padding: 0.2em; margin: 0; border: 1px solid #999; border-width: 1px 0 1px 0; vertical-align: top; white-space: nowrap; } div#MarkupHelp td.arrow { padding-right: 5px; padding: 0 0.75em; color: #999; } div#MarkupHelp h3 { font-size: 90%; font-weight: bold; font-weight: normal; margin: 0 0 5px 0; padding: 5px 0 0 0; } div#MarkupHelp p { font-size: 70%; } div.rightHandSide { float: right; width: 25%; margin-left: 0.7em; padding-left: 1.5em; border-left: 1px dotted #ccc; font-size: 80%; } .newsList { margin-top: 1.5em; } .newsList p { margin-bottom: 2.5em; } /* Affects the display of "category: ..." */ .property { color: #999; font-size: 80%; } /* Styles designed specifically for content */ dt { font-weight: bold; } dl.commands dt { margin-left: 2em; } dl.commands dd { margin-left: 4em; } dl.commands dt:first-child { margin-left: 0; margin-bottom: 14px;; } pre.plaintext { border: none; background: none; padding: 0; margin: 0; overflow: visible; } /* Table of contents (see auto_sections.js) */ div#toc { padding-left: 2em; } a.TOCBackLink { display: none; } .TOCLevel3 { margin-left: 2em; } .TOCLevel4 { margin-left: 4em; } .TOCLevel5 { margin-left: 6em; } .TOCLevel6 { margin-left: 8em; }