label:hover {
 background: #DFDFDF;
 text-decoration: underline;
}

.div_log {
 font-family: Helvetica;
 font-size: 10pt; 
 position: relative;
 top: 1px;
 padding-top: 4px;
 height: 200px;
 width: 70%;
 overflow: auto;
}

.radio_highlited {
 background: #DFDFDF;
 text-decoration: underline;
}

.radio_simple {
 background: #FFFFFF;
}

.hidden {
 display: none;
}

.hidden_iframe {
 height: 0; 
 width: 0;
 border-width: 0px;
 display: block;
}

div.feedback { margin: 5px; padding: 5px; border: 1px solid black; position: absolute; z-index: 1; background-color: #FAFAFA;}
textarea.feedback { border: 1px solid black; width: 400px; height: 200px; }

.download { padding: 5px; margin: 5px; }
/* ============================ */
/* Drawing the list of examples */
/* ============================ */

li.theme { display: inline;}
div.examples li, div.examples div {border: 1px solid #FAFAFA; padding-left: 5px;}
ul.theme li { padding: 3px; border: 1px solid #FAFAFA;}
div.examples li:hover { background-color: #DDDDDD; border: 1px solid #AAAAAA; }
div.examples > div:hover { background-color: #FAFAFA; border: 1px solid #AAAAAA;  }
div.examples > div {display:block; text-decoration:none; width:100%; line-height:30px;  text-align:left;}
div.examples ul { list-style-type:none; padding: 3px; margin-left: 20px; }


p {
 margin-top: 6pt;
 margin-bottom: 12pt;
}

div.status-log { margin: 3px; padding: 3px; border: 1px solid black;}
div.status-log span { margin: 3px; padding: 5px; width: 20em;}
div.status-log span.type { text-align: right; }
div.status-log span.info { text-align: left; }
button.showlog { margin: 3px; padding: 5px; border: 1px solid black;}

.choose { margin: 5px; padding: 5px; border: 1px solid black; }
ul.chapters { list-style-type: none;}
ul.chapters ul { list-style-type: none;}
ul.chapters li { padding: 5px; margin: 5px;}
span.chapter { background-color: #FAFAFA; border: 1px solid #FAFAFA; padding: 5px; margin: 5px; cursor: move;}
span.chapter:hover { background-color: #CCCCCC; border: 1px solid black; }