/* Based on coins-syspro-2005.css */

PRE.interaction {
/*	background-color:#DDEEFF; *//* blue */
/*	background-color: #fffff0;*/
	background-color:#F0F8FF; /* PukiWiki */
	border: 1px solid gray;
	margin-left: 40px;
	overflow: scroll;
/*	padding: 5px;
	white-space: pre;
	width: 100%;
*/
}

PRE.program {
/*	background-color:#DDEEFF; *//* blue */
/*	background-color: #fffff0;*/
	background-color:#F0F8FF; /* PukiWiki */
	border: 1px solid gray;
/*	margin-left: 40px;*/
	overflow: auto;
/*	width: 100%;*/
}

PRE.manual {
	background-color:#ffffcc;
	border: 1px solid gray;
	overflow: auto;
}

PRE.html {
	background-color:#F0F8FF; /* PukiWiki */
	border: 1px solid gray;
	overflow: auto;
}

PRE.log {
	background-color:#F0F8FF; /* PukiWiki */
	border: 1px solid gray;
	width: 100%;
	overflow: visible;
}

PRE.figure {
	margin-left: 40px;	
}

/*
APPLET {
	background-color:#808080;
	border: 1px solid gray;
}
*/

H2 {
/*	font-weight: bold;
	font-size: 1em;*/
/*	color: #ffffff;
	background-color: #8484ee;*/

	background-color: #BBBBEE;
	border: 1px none #8888f8;
	border-top: 1px solid #ccccff;
	border-left: 1px solid #ccccff;
	border-right: 1px solid #666699;
	border-bottom: 1px solid #666699;
	padding: 5px 3px 3px 0.5em;	
}

H3 {
/*	font-weight: bold;
	font-size: 1em;*/
/*	color: #ffffff;
	background-color: #8484ee;*/

	background-color: #DDBBBB; /* PukiWiki */
	border: 1px none #8888f8;
	border-top: 1px solid #ffcccc;
	border-left: 1px solid #ffcccc;
	border-right: 1px solid #996666;
	border-bottom: 1px solid #996666;
	padding: 5px 3px 3px 0.5em;	
}

H4 {
	background-color: #ffffff;
	border: 1px none #8888f8;
	border-top: 1px solid #ffffff;
	border-left: 1px solid #996666;
	border-right: 1px solid #ffffff;
	border-bottom: 1px solid #996666;
	padding: 5px 3px 3px 0.5em;	
}

.announce {
/*	background-color: #fffff0;*/
	color: red;
}

.correct {
/*	background-color: #fffff0;*/
	color: red;
}

.emphasize {
	text-decoration: underline;
}

DIV.example {
	background-color:#F0F8FF; /* PukiWiki */
	border: 1px solid gray;
}

SPAN.correct {
	text-decoration: line-through;
}

SPAN.italic {
	font-style: italic;
}

.table {
	background-color:#ffffcc;
	border: 1px solid gray;
}

UL.simple-table LI {
	list-style-type: none;
}

.hidden {
	visibility:hidden;
}

DL DT {
	font-weight: bold;
}

.indent {
	margin-left: 40px;	
}

.html-example {
	background-color: #fffff0;
	border: 1px solid gray;
}

.answer {
/*	display: none ;*/
	color: red;
}

td.right {
	 text-align: right;
}