caption {
	font-family: 'Times New Roman', Times, serif;
	font-style: italic;
	text-align: right;
	padding-bottom: 0.5em;
}

UL {

	list-style: square;
}

LI {
	margin-bottom: 0.5em;
}

.example {
	border:	dashed 1px #634f36;
	font-family: "Courier New", Courier, monospace; 
	padding: 7px;
	margin: 0px 0px 1em;
}

.exampleTitle, .noteTitle {
	padding: 3px;
	font-weight: bold;
	font-size: 90%;
	margin: 0px;
}

.result {

	margin: 20px 18% 15px;
	padding: 7px;
	border: 1px solid #000;

}

.select {  

	font-weight: bold; 
}


.tag { 
	font-family: "Courier New", Courier, mono; 
	font-size: 110%;
}

.element {

	color: #000;

}

.comment {

	color: #000;
}


.fig {
	font-family: Times, serif;
	text-align: center;
	font-style: italic;
	font-size: 110%;
	margin-top: 0em;
	margin-bottom: 0.7em;
}

TD.fig {

	font-size: 100%;
}


.note {
	border:	solid 1px #634F36;
	padding: 7px;
	margin: 0px 0px 1em 0px;
}

.author {
	font-weight: bold;
	margin: 0px;
	font-size: 90%;
	text-align: right;
	margin-bottom: 1em;
}

#bottom {
	border-top: 2px solid black;
	margin-top: 2em;
}