.title {
	background:#6C6F70;
	color: white;
	font-weight:bold; 
	margin-top : 4px;
	margin-bottom : 4px;
	padding-left: 4px;
	padding-top: 2px;
	padding-bottom: 2px;
}

.subtitle {
	font-weight:bold; 
	margin-top : 4px;
	margin-bottom : 4px;
	padding-left: 4px;
	padding-top: 2px;
	padding-bottom: 2px;
}

.confvars {}

.confvar {
	border-left : 1px solid #CCCCCC;
	border-top : 1px solid #CCCCCC;
	// border-right : 1px solid #9BE;
	// border-bottom : 1px solid #9BE;
	margin:4px;
	padding:4px;
	// width:800px;
	// background: gray;
}

.confvareven {
	border-left : 1px solid #CCCCCC;
	border-top : 1px solid #CCCCCC;
	// border-right : 1px solid #9BE;
	// border-bottom : 1px solid #9BE;
	margin:4px;
	padding:4px;
	// width:800px;
	// background: #F9F9F9;
	background: #F9F9F9;
}

.varname {
	font-weight:bold;
	margin:0;
	padding-left: 10px;
	// background: lightgray;
	background: #6C6F70;
	color: white;
}

.varspecs {
	// background: white;
	margin : 0px 20px ;
}

.varspecs div {
	// border-bottom : 1px solid #CCCCCC;
}

/*.chosenAndImplied {
	color: black;
	font-weight:bold;
	font-style:italic
}*/

.chosen {
	color: black;
	font-weight:bold;
}

.implied {
	color: black;
	// font-weight:bold;
	font-style:italic
}

.possible {
	color: #f7b100;
}

.alternative {
	color: #f7b100;
	font-style:italic
}

.impossible {
	color: gray;
	font-style:italic
}

.unexpected {
	color: pink;
}

.price {
	text-align:left;
	padding-right: 200px;
	// background: yellow;
	float:right;
	color: black;
}


.data {
	background: lightgray;
	/*margin-left:200px;
	margin-right:200px;*/
	overflow:auto;
}

.databit {
	background: lightgray;
	overflow:auto;
}

.codex {
	background: black;
	color: white;
	/*margin-left:200px;
	margin-right:200px;*/
	font: 14px Courier;
	overflow:auto;
}

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 14.0px Courier}
p.p2 {margin: 0.0px 0.0px 0.0px 0.0px; font: 14.0px Courier; color: #492cfa}
span.s1 {color: #492cfa}
// span.s2 {color: #000000}
span.s3 {color: #951067}
//span.Apple-tab-span {white-space:pre}
pre{width:750px}