/*syntax highlight */
span.comment { color: #009900; }
span.keyword { color: #0000ff; }
span.string  { color: #990000; }
span.ident   { color: #996600; /*font-weight: bold;*/ }

span.breakpt { margin: -0.5ex; width: 1px; }

/*div.animator-frame-content {  border: solid 1px black;
	height: 10em; overflow: auto; background: #ffdddd;}
div.title-str { background: #720000; color: white; }       */
span.title-str { color: white; font-family: arial; }




/*these settings are unrelated to color*/
table.x-anim-table { border-collapse:collapse; border: 0px; }
div.anim-tbl-top, td.anim-tbl-top, td.anim-tbl-left, td.anim-tbl-right,
td.anim-tbl-left  img { border: 0px; padding: 0px;
	margin: 0px; spacing: 0px; }
div.animator-frame-content { height: 230px; background: #ffdddd;
	font-family: courier; overflow: auto;  }
div.title-str { padding-top: 6px; }


/* these parameters are tunable since variable width is allowed */
div.animator-frame-content,


table.animator-frame-title { width: 36em; } 



span.animator-highlight { background: yellow; }
span.animator-highlight-post { background: #dddddd; }





div.controls { border: 0px ; font-size: 60%;  
	padding: 0.5em;}
div.controls select { font-size: 90%; width: 12em;}
div.controls-grp-controls { padding-bottom: 1em; }


table.obf-controls { border-collapse: collapse; border: 0px;
	}
table.obf-controls td,table.obf-controls tr { border: 0px; padding: 0px; 
	margin: 0px; spacing: 0px;    }
div.controls-heading { font-size: 95%; 
	color: white; font-family: Serif; font-weight:bold; 	
	padding: 0.15em;	text-align:Center; }


div.controls-heading-green { background: #339933;  }
div.controls-green { background: #99ff99; }

div.controls-heading-red { background: #993333;  }
div.controls-red { background: #ff9999; }

div.controls-heading-gold { background: #999933;  }
div.controls-gold { background: #ffff99; }

div.controls-heading-blue { background: #333399;  }
div.controls-blue { background: #9999ff; }


div.prodintro, div.prodintro-short { 
	border: solid 1px #930000;   border-left: solid 0.6em #930000;
	margin-bottom: 4em;  padding: 2em; padding-right: 0.3em;}

a.prodtitle { font-weight: bold; } 


span.anim-hint { color: #888888; font-style: italic; }


span.anim-buttons-red img { background: url('/res/anim/tv-btn-bg-red.png') no-repeat;
    padding-left: 2px; padding-right: 2px; padding-top: 1px; padding-bottom: 1px;
     background-position: 50% 1px; 
 }

span.anim-buttons-blue img { background: url('/res/anim/tv-btn-bg-blue.png') no-repeat;
    padding-left: 2px; padding-right: 2px; padding-top: 1px; padding-bottom: 1px;
     background-position: 50% 1px;
 }

span.anim-buttons-green img { background: url('/res/anim/tv-btn-bg-green.png') no-repeat;
    padding-left: 2px; padding-right: 2px; padding-top: 1px; padding-bottom: 1px;
     background-position:  50% 1px;
 }