body {
	background-color: #ffe0ff;
}
h1 {
	margin-right: 0%;
	margin-left: 0%;
	text-align: center;
	padding: 0.4em 0.4em;
	color: #ffffff;
	text-indent: 0.25em;
	border-style: none;
	background-color: #055020;
}
h2 {
	margin-right: 0%;
	margin-left: 0%;
	text-align: left;
	padding: 0.3em 0.3em;
	color: #ffffff;
	text-indent: 0.25em;
	border-style: none;
	background-color: #408020;
}
pre {
	font-family: monospace;
	border-style: solid;
	border-width: 1px 2px 2px 1px;
	border-color: #6666aa; 
	color: #444466;
	background-color: #e8e8ff;
	white-space: pre;
	margin-right: 4.0em;
	margin-left: 3.5em;
	padding: 0.5em 2em;
}
a {
	text-decoration: none
}
.buttonx {
	background-color : #d0ffd0;
	border-style : outset;
	border-width : 2px;
	padding : 3px;
	margin : 0px;
}
.buttonxx {
	background-color : #000;
	color: black;
	border-style : solid;
	border-width : 1px;
	border-color: #ffffd0;
	padding : 3px;
	margin : 0px;
}
.title {
	float:left;
	font-weight:bold;
	font-size:12pt;
	color: #ffffff;
/*
	background-color:#ffd;
	border-width : 1px;
	border-style : solid;
*/
	padding: 0px;
	margin: 0px;
}
.title p {
    margin:0px;
    padding:0.0em 0.5em;
<!--    background-color:#55ff55; -->
    color: #ffffff;	    
    background-color:#008c30;
}
.nobutton {
	border-width : 2px;
	border-style : none;
	padding : 2px;
	margin: 2px;
}
.button {
/*
	color : #370044;
*/
	color: black;
	background-color : #F5BCFF;
	border-color : #68CBFF;
/*
	color : #2D0068;
	background-color : #54FF59;
	border-color : #76C800;
*/
	border-width : 2px;
	border-style : outset;
/*
	font-family : sans-serif;
*/
	font-weight : bold;
/*	font-size : 9pt; */
	padding : 2px;
	margin: 2px;
/*	margin : -18px; */
	vertical-align:bottom;
}

.description {
	background-color : white;
	width: 60%;
	float: right;
	border-style : inset;
	border-width : 1px;
	border-color: #444444;
	padding : 2px;
	margin : 0px;
}
.image {
	background-color : white;
	float: left;
	border-style : none;
	padding : 2px;
	margin : 0px;
}
.knob {
	position: absolute;
	background-color: #e0e0e0;
	border-style: outset;
	border-width : 2px;
	padding : 1px;
	margin : 0px;
}
.scrollbar {
	background-color : #eee;
	border-style : inset;
	border-width : 2px;
	padding : 1px;
	margin : 0px;
}

.sample {
//    width:250px;
    background-color:#55ff55;
}
.sample p{
    margin:0px;
    padding:0.2em 0.3em;
    background-color:#55ff55;
}
.rtop, .rbottom{
    background:#FFe0FF;
}
.rtop span, .rbottom span{
    display:block;
    height:1px;
    overflow:hidden;
    background-color:#008c30;
}
.r1{margin: 0px 5px;}
.r2{margin: 0px 3px;}
.r3{margin: 0px 2px;}
.r4{margin: 0px 1px; height: 2px;}