<!--
/* In general, this is chuk.css
 *   with minor changes to colors and padding.
 */


/* Links */

a:link {	color: #FFA; text-decoration: none; }
a:active {	color: #FF0; text-decoration: underline; }
a:visited {	color: #FF0; text-decoration: none; }
a:hover {	color: #FF0; text-decoration: underline; }


/* BODY defaults*/
BODY {
	font-size:			12pt;
	color:				#BBB;	

	background-color:	#333;
	background-image:	url('img/uc_bar54.gif');
	background-repeat:	repeat-x;
}


#TitleFrame {
	font-size:	        16pt;
    border:             none;
    padding:            1px;
	background-color:	#333;
	width:				auto;
    margin-top:         5px;        /* Buggy display */
}


#PageFrame {
    border:             1px solid #000;
	width:				auto;
	background-color:	#666;
	color:				#DDDDDD;
	padding:	        3px;
    margin:             1px;
	border:		        1px #111 solid;
}



/* Font size and Colors */
pre {font-size:10pt;}

b {color:#FF9;}



/* IDs */

#viewsource {
}
#viewsource input {
	margin-top:			2px;
	float:				right;	  
	color:				#ABC;
	background:			#555;
	border:				1px outset;
	font-size:			6pt;
}

#ImgLinks {
	padding:			10px;
	text-align:			center;
}
#ImgLinks img { border:0; }



/* HTML adjustments */

input[type="text"] {background:#ACA; width:95%}
input[type="textarea"] {background:#ACA;}

.resizable { margin-right:0px; overflow:auto;}


/* Classes */

.indent { padding-left:10px; }
.indent .indent { padding-left:20px; }

.input {
    width:              auto;
	color:				#000;
	background:			#ACA;
	border:				1px #99C inset;
}

.output {
    padding:            2px;
    margin:             2px;
    padding-left:       4px;    /* Text indent */
	color:				#00B;
	background:			#CCB;
	border:				none;
}

.outputarea {
    padding:            1px;
    padding-left:       4px;    /* Text indent */
	color:				#26D;
	background:			#CCB;
	border:				none;
}



/* A <div> title or subtitle will stretch the width of the parent <div> */
/* A <p> will fit to text */

.title {
    margin:             1px;    /* Block indent */
    border:             none;
    padding:            2px;
    padding-left:       5px;    /* Text indent */
	background:	        #BBA;
	color:		        #007;
	font-size:	        14pt;
    width:              auto;   /* for resizing */
    max-width:          200px;  /* for large displays */
}

.subtitle {
    margin:             1px;     /* Block indent */
    border:             none;
    padding:            2px;
    padding-left:       10px;    /* Text indent */
	background:	        #AAA;
	color:		        #007;
    font-weight:        bold;
    width:              auto;   /* for resizing */
    max-width:          200px;  /* for large displays, adjusted for indents */
}

/* END */

-->

