body { color: black; background-color: white; }
img { border: none; }
div.info { font-family: sans-serif; }
body > div.info:first-child { margin-top: 1ex; margin-bottom: 3px; border-bottom: 1px solid gray; }
h1,h2,h3,h4,h5,h6 { margin: 0; }
h2,h3,h4,h5,h6 { font-size: 105%; }
div.title,span.label { font-weight: bold; }
div.credit { font-style: italic; font-size: small; }
td.boolean,td.symbol { text-align: center; }
td.money,td.numeric,td.percent { text-align: right; }
.moreinfo:hover { border: 1px dotted blue; }
.experimental { color: white; background-color: orange; }
.defined { color: white; background-color: blue; }
.alpha { color: white; background-color: yellow; }
.beta { color: white; background-color: green; }
.mature { color: black; background-color: #EEE; }
.obsolete { color: white; background-color: gray; }
.abandoned { color: white; background-color: purple; }
.entangled { color: white; background-color: red; }
dt { font-weight: bold; }
div.box { margin: 1ex 0 .3ex 0; }
div.objects > div.object { float:left; text-align: center; padding: .7ex; }
div.Inset { float: right; }
div.column { float: left; }
div.Sidebar { float: right; height: 100%; }
div.wide,div.objects,div.object { width: 100%; overflow: auto; padding: 1px; }
table.div,table.contents { font-size: small; background-color: #DDD; margin-top: 1em; -moz-border-radius: 1ex; }
table.table { width: 100%; overflow: scroll; border-collapse: collapse; }
thead,tfoot { border: 1px solid gray; }
tbody > tr > th { vertical-align: bottom; }
th.tcell,td.tcell { border: 1px dotted gray; padding: 1px 3px; }
li,dt { margin-top: 1ex; }
p { margin: 0 0 1ex; }
pre { margin: 0; background-color: #EEE; padding: .8ex; -moz-border-radius: 1ex; }
span.ilist-deco { color: #999; }
sup { font-size: 70%; }
em.highlight { font-style: normal; background-color: yellow; }
span.gui.button,span.gui.menubutton { white-space: nowrap; font: menu; border: thin outset buttonhighlight;
  color: buttontext; background-color: buttonface; padding: 0 1ex; }
span.gui.checkbox,span.gui.label,span.gui.option-list { font: menu; color: windowtext; background-color: threedface; 
  padding: 0 1ex; }
span.gui.checkbox,span.gui.label,span.gui.option { white-space: nowrap; }
span.gui.hotkey { text-decoration: underline; }
span.gui.icon { font: icon; padding: 0 1ex; }
span.gui.link { color: blue; text-decoration: underline; }
span.gui.menu,span.gui.menuitem,span.gui.submenu { white-space: nowrap; padding: 0 .6ex; font: menu; color: menutext; 
  background-color: menu; }
span.gui.option { white-space: nowrap; font: menu; }
span.gui.tip { font: status-bar; border: 1px solid windowframe; color: infotext; background-color: infobackground; 
  padding: .2ex; }
span.guisequence.keypress { font: 80% sans-serif; padding: 0 .3ex; color: buttontext; background-color: buttonface; 
  border: thin outset buttonhighlight; }
span.output.gui { font: message-box; }
code.cmd.default { font-weight: bold; }
code.prog.comment,code.markup.comment { color: green; }
code.markup.comment-special,code.prog.comment-special { color: green; background-color: #CFC; }
code.prog.class,code.prog.datatype,code.prog.exception,code.prog.interface,code.prog.type,
code.cmd.option,code.markup.element,code.database.constraint,
code.database.database,code.database.datatype,code.database.default,code.database.index,
code.database.rule,code.database.schema,code.database.table,code.database.type { color: olive; }
code.database.column,code.database.field,code.database.proc-param,code.prog.field,code.prog.object,code.prog.default,
code.prog.parameter,code.cmd.parameter,code.prog.member,code.prog.property,code.prog.variable,code.prog.property,
code.cmd.parameter,code.markup.attribute { color: navy; }
code.database.function,code.prog.procedure,code.prog.function,code.prog.method,code.prog.constructor,code.prog.destructor,
code.database.proc,code.database.aggregate-function,code.cmd.command,code.cmd.program,code.markup.doctype,
code.markup.notation,code.markup.pi,code.prog.escape,code.prog.pragma { color: maroon; }
code.prog.constant,code.prog.env-var,code.prog.event,code.prog.label,code.prog.macro,code.database.alt-key,
code.database.primary-key,code.markup.cdata,code.markup.entity,code.markup.token { color: purple; }
code.prog.library,code.prog.keyword,code.prog.modifier,code.prog.operator,code.prog.index,code.markup.namespace,
code.markup.quantifier,code.markup.type
{ color: blue; }
code.database.value,code.markup.text,code.markup.value,code.prog.literal,code.prog.token,code.database.delimiter,
code.database.record
{ color: black; }
div.Caution, div.Danger, div.Important, div.Note, div.Tip, div.Warning 
{ margin: .5ex 0; padding: 1ex 1ex 1ex 54px; min-height: 48px; -moz-border-radius: 1em; }
div.Caution { background: #FED url(/images/admon/caution-48.png) left center no-repeat; }
div.Danger { background: #FEE url(/images/admon/danger-48.png) left center no-repeat; }
div.Important { background: #FEF url(/images/admon/important-48.png) left center no-repeat; }
div.Note { background: #EEF url(/images/admon/note-48.png) left center no-repeat; }
div.Tip { background: #EFE url(/images/admon/tip-48.png) left center no-repeat; }
div.Warning { background: #FFE url(/images/admon/warning-48.png) left center no-repeat; }
@media screen
{
	html { background-color: gray; }
	body { margin: 1ex 6%; padding: 1ex; border: 1px solid black; }
	table.div { position: absolute; top: 0; right: 6.4%; }
	table.div > tbody, table.div > thead > * { display: none; }
	table.div:hover > tbody, table.div:active > tbody { display: table-row-group; }
	table.div > thead > *:first-child, table.div:hover > thead > *, table.div:active > thead > * { display: table-cell; }
    div.objects { width: auto; }
    div.objects > div.object { white-space: nowrap; width: auto; height: 1em; overflow: hidden; background-color: white; border: 1px solid #999; }
    div.objects > div.info + div.object, div.objects > div.object:first-child { height: auto; }
    div.objects:hover > div.info + div.object, div.objects:hover > div.object:first-child { white-space: nowrap; height: 1em; border: 1px solid #999; }
    div.objects:hover > div.object:hover { white-space: normal; height: auto; width: auto; border: 3px solid #666; }
}