/* docbook css for JDAI */
/* by Jeppe Buk (jaybe@jaybe.dk) */

/* $Revision: 1.1 $ */

.article,
.article table {
	font-family: verdana, arial, sans-serif;
	font-size: 10pt;
}

h1.title,
.author,
.copyright,
.abstract {
	background-color: #EEEEFF;
	padding: 5pt;
	margin: 0;
}

h1.title {
	color: #800000;
}

.author {
}

.abstract {
	font-style: italic;
}

.programlisting {
	background-color: #EEEEEE;
	border: 1pt solid #808080;
	margin: 5pt;
	padding: 5pt;
}

.keysym {
	background-color: #EEEEEE;
	border: 1pt solid #808080;
}

ul li {
	margin-top: 10pt;
}

.mediaobject img {
	margin: 5pt;
	padding: 5pt;
	border: 1pt solid black;
}

table {
	border: 1pt solid black;
}

table td, table th {
	border: 0;
}

table th {
	border-bottom: 1pt solid #808080;
}