/*Main styles for java rules*/
body {
	font-family:sans-serif;
	padding:1em 100px;
	min-width:768px;
}

code {
	font-family:monospace;
	/*font-size:14px;*/
	word-spacing:-2px;
	margin:0 1px;
}

code.comment {
	color:green;
	font-weight:normal;
}

code.keyword, dt.keyword, code.key, dt.key, code code {
	font-weight:bold;
	color:purple;
}

code.string {
	color:blue;
	font-weight:normal;
}

p code {
	font-size:18px;
}

.topic p code {
	font-size:14px;
}

code > em, div.ex > em {
	color:blue;
}

h1 {
	margin-bottom:1.5em;
}

h2 {
	margin-top:2.5em;
	clear:left;
}

h2#howto {
	margin-top:0;
}

h2#intro {
	clear:left;
}

h3 {
	margin:0 0 15px 15px;
	font-size:17px;
	clear:left;
}

#jumper {
	float:right;
	margin:-80px 0 0;
	padding:2px 5px 5px;
	background-color:#EEE;
}

#jumper > li {
	list-style-type:none;
	display:inline;
	margin:0 10px;
	font-size:12px;
}

/* Table of contents */
#toc {
	margin-bottom:225px;
	font-family:"Trebuchet MS", "Times New Roman", serif;
	min-width:1000px;
}

#toc ul {
	float:left;
	margin-right:2%;
	font-size:17px;
	
}

#toc ul>li { list-style-type:circle; }

#toc ol {
	font-size:16px;
}

#toc a {
	color:#3A3;
	text-decoration:none;
}

#toc a:hover {
	text-decoration:underline;
}

#toc a:active {
	color:red;
}
/* !table of contents */

p {
	font-family:"Trebuchet MS", sans-serif;
	font-size:20px;
}

.topic p, p.desc {
	font-family:Arial, sans-serif;
	font-size:16px;
	/*background-color:#E1E1E1;*/
	padding:5px;
}

/*span.spacer {
	clear:both;
	display:block;
}*/

div.topic {
	/*background-color:darkgrey;*/
	/*padding:10px;*/
	margin:0 0 50px;
}

div.struct {
	font-size:14px;
	background-color:#E1E1E1;
	/*border:2px solid darkgrey;*/
	white-space:pre;
	font-family:monospace, serif;
	padding:5px;
}

dl {
	font-family:serif;
	background-color:#E1E1E1;
	padding:5px;
}

dt {
	font-weight:bold;
}

dd {
	margin-bottom:1em;
	xmargin:0 0 15px 15px;
}
dt.key {
	font-family:monospace;
	font-size:14px;
	word-spacing:-3px;
	color:purple;
}

/*dt:after {
	content:" - ";
	margin-left:10px;
}

*/

.ex {
	clear:left;
	margin:0 0 10px;
	font-size:14px;
	padding:5px;
	background-color:#99C1DA;
	xborder:2px solid /*#4D95EC*/dodgerblue;
	font-family:monospace;
}

dd.ex {
	margin-top:-.9em;
	margin-left:40px;
}

.good {
	xborder:2px solid darkgreen;
	background-color:#BFB;
}

.bad {
	xborder:2px solid darkred;
	background-color:#FBB;
}

.ex ul {
	margin:10px 0;
}

.ex li {
	font-weight:bold;
	list-style-type:none;
	font-size:12px;
	margin:0 0 5px -10px;
	font-family:Arial, sans-serif;
}

.ex li + li {
	font-weight:normal;
	list-style-type:disc;
	margin:0;
}

#footer {
	text-align:center;
	font-size:small;
	font-family:Arial, sans-serif;
	background-color:lightgrey;
	margin:0 -100px -1em;
	padding:2px 0;
	xwidth:110%;
	white-space:nowrap;
	overflow:hidden;
}

#footer span.spacer {
	display:inline;
	margin:0 75px;
;
}