/*
 * Code under GNU Public License version 2 or version 3 at your option.
 */

#viewer {
	top:		10%;
	left:		20%;
	width:		60%;
	height:		80%;
	position:	absolute;
	background:	#ddf;
}

#generalinfo {
	visibility:	hidden;
	z-index:	100;
	padding:	20px 40px;
	-moz-border-radius: 30px;
	-webkit-border-radius: 30px;
	font-size:	10pt;
	font-family:	"Verdana";
	line-height:	90%;
	max-width:	40%;
}

#generalinfo.general {
	background:	#729fcf; /* Tango: Sky Blue */
}

#generalinfo.nonterminal {
	background:	#fcaf3e; /* Tango: Orange */
}

#generalinfo.terminal {
	background:	#cc0000; /* Tango: Scarlet Red */
}

.nodelabel {
	font-family:	"Verdana";
	font-size:	9pt;
	overflow:	hidden;
	text-align:	center;
}

.rule {
	font-size:	8pt;
	text-transform:	uppercase;
}

.nonterminal-node {
	background:	#fce94f; /* Tango: Butter */
}

.terminal-node {
	background:	#f99;
}

.nodecircle {
	background:	#eef;
	width:		10%;
}

.ruler {
	font-size:	10pt;
	text-align:	center;
	z-index:	10;
	height:		40px;
	background:	#ddf; /* Non-opaque */
}

.lexeme {
	padding-top:	10px;
}

.tip {
	font-style:	italic;
	font-size:	15pt;
}

pre {
	color:		#555;
	overflow:	hidden;
}

body {
	max-width:	100%;
	overflow:	hidden;
}