/* Default Code Style Sheet $Revision: 1.69 $
 */
@media print {
	body {font: 1.0em/1.3em georgia, "lucida bright", "times new roman", serif}

	#byline {text-align:center}

	p, li {text-align:justify}

	.language-bnf {font-family: Arial, sans-serif}

	.navigation {display:none}
	}

@media screen {
	#banner { /*Fahrner Image Replacement */
		background-image:url("banner.png");
		background-repeat:no-repeat;
		height:70px;
		}

	#heading {display:none}

	#byline {display:none}

	body {
		font: 1em/1.3em Arial, Verdana, sans-serif;
		}

	.language-bnf {font-family: georgia, Serif}

	/* h1, h2, h3, h4 {text-shadow: 2px 2px 2px rgb(204,204,204)} CSS 3 */

	li  {list-style-image: url(bullet.png)}

	li li {list-style-image: url(sub_bullet.png)}
	}

#bart {
	background-color:	rgb(255,255,255);
	color: rgb(153,0,0)
	}

#css {
	float: left;
	width: 33%
	}

#code-as-text {
	float: left;
	width: 33%
	}

#home {
	float: left;
	width: 33%;
	font-weight: bold;
	text-align: center
	}

#author {
	float: left;
	width: 33%;
	font-weight: bold;
	text-align: center
	}

#xhtml-basic {
	float: right
	}

#xml-example-link {text-align: center}

body {
	background-color: rgb(255,255,255);
	color:            rgb(51,0,102);
	margin-top:		2%;
	margin-left:	5%;
	margin-right:	5%;
	margin-bottom:	2%;
	max-width:	50em
	}

acronym, abbr, dfn, var {
	font-style: italic;
}

.language-bnf {
	background-color: rgb(255,255,255);
	color:            rgb(153,0,0);
	font-style: normal;
	}

abbr {text-decoration: none}

h1 {
	font-size: 1.5em;
	text-align: center
	}


h2 {font-size: 1.3em}

h3 {font-size: 1.1em}

h4, h5, h6 {font-size: 1.0em}

h4 {font-weight: bold}

img	{border: 0}

li  {padding: 0.3em}

li.continuation {list-style: none}

li li {padding: 0.1em}

pre, code, td {font: 1em/1.3em "Courier New", Courier, monospace}

table {
	margin-left: 10%;
	width: 80%;
	}

caption {
	font-family: Verdana, Helvetica, Arial, Sans-serif;
	font-weight: bold;
	}

dl {margin-left: 10%}

dt {padding-bottom: 0.5em}

dd {padding-bottom: 1em}

.Contrast {
	background-color: rgb(255,255,255);
	color:            rgb(153,0,0)
}

.ProblemStatement {
	padding-left: 0.5em;
	padding-right: 0.5em;
	border-style: double;
	border-width: 3px;
	background-color: rgb(255,255,255);
	color:            rgb(153,0,0);
}

.Result {
	padding: 0.5em;
	border-style: inset;
	border-width: 2px;
	overflow: auto;
	background-color: rgb(255,255,255);
	color:            rgb(153,0,0);
}

div.Predicate pre {
	padding: 1em;
	background-color: rgb(224,224,224);
	border-color:     rgb(153,153,153);
	color:            rgb(0,0,0);
	border-style: double;
	border-width: 3px;
	overflow: auto;
}

.update {
	padding-left: 0.5em;
	padding-right: 0.5em;
	border-style: double;
	border-width: 3px;
}

.Formalization {
	font-family: cursive;
}

.Superscript {
	vertical-align:	super;
	font-size: 70%;
	}

.mq {font-family: "Bauhaus Md BT", Sans-serif;
	 font-weight: bold
	}

a:link {
	background-color: rgb(255,255,255);
	color:            rgb(0,0,204);
}

a:visited {
	background-color: rgb(255,255,255);
	color:            rgb(51,0,102);
}

a:hover {
	background-color: rgb(204,204,204);
	color:            rgb(255,0,0);
}

a:active {
	background-color: rgb(255,255,255);
	color:            rgb(255,0,0);
}

q:before {
	quotes: '"' '"' "'" "'";
	content: open-quote;
	}

q:after {
	quotes: '"' '"' "'" "'";
	content: close-quote;
	}