@import "print.css" print;
@import "screen.css" screen;

/* General HTML tag styles */
h1 { text-align: center; }

body {
	color: black;
	font-family: sans-serif;
	background: white;
	margin: 1em;
}

div.table table {
	border: 0;
	border-collapse: collapse;
	border-spacing: 0px;
	margin: 0.75em;
	font-size: 85%;
}

div.table table tbody {
	border-top: 2px solid;
	border-bottom: 2px solid;
}

div.table table tbody.footnotes {
	border: none;
}

/* Sub-tables have the same size font */
div.table table table {
	font-size: 100%;
}

div.table td {
	background-color: white;
	padding: 0.25em;
	border: none;
}

div.table td, div.table th {
	/*text-align: left;*/
	vertical-align: middle;
	border: none;
	border-spacing: 0px;
}

div.table th {
	padding-left: 0.25em;
	padding-right: 0.25em;
	background-color: rgb(255,255,240);
	border-top: 2px solid;
	border-bottom: 2px solid;
	font-weight: bold;
	text-align: center;
}

/* caption, */
p.title {
	width: auto;
	text-align: left;
	margin-left: 1em;
	margin-bottom: 0.25em;
}

/* FIXME: change the XSL sheets to output this */
span.tableno {
	font-weight: bold;
}

span.guibutton {
	-moz-appearance: button;
	padding: 0px 6px 0px 6px;
	border: 2px outset ButtonFace;
	background-color: ButtonFace;
	color: ButtonText;
	font: -moz-button;
	line-height: normal !important;
	white-space: pre;
	cursor: default;
	-moz-box-sizing: border-box;
	-moz-user-select: none;
	-moz-user-focus: normal;
	-moz-binding: none;
	white-space: normal;
}

*|*:-moz-button-content {
	display: block;
	text-align: center;
}

span.accel {
	text-decoration: underline;
}

/* dt:after { content: ":"; } */
li p { margin: 0; }

/* General styles that would also have meaning outside this document */

.latin { font-style: italic; }

cite { font-size: 90%; font-style: normal; }
cite:before { content: "("; }
cite:after { content: ")"; }

img { border: 0; }

div.navheader,
div.navheader table,
div.navfooter,
div.navfooter table {
	color: #000025;
}

div.navheader hr,
div.navfooter hr {
	color: #bbbbff;
	background: #bbbbff;
	border: #bbbbff;
}

a {	color: #7777ff; text-decoration: none; font-weight: bold; }
a:hover {	color: #4444ff; text-decoration: underline; font-weight: bolder; }

hr {
	color: #bbbbff;
	background: #bbbbff;
	border: #bbbbff;
}

div h2.subtitle {
	float: right;
}
