/* injustice screen styles: */


input[type="submit"] {
	padding: 0.5em ;
	color: #FFF ;
	background-color: rgb( 15%, 45%, 70%) ;  
	border: #CCC 0px solid ;
	border-radius: 0em ; 
	font-size: 100% ; 
	}
input[type="submit"]:hover {
	background-color: rgb( 30%, 66%, 32%) ; 
	}
input[type="submit"]:focus {
	background-color: rgb( 30%, 66%, 32%) ; 
	}
input[type="submit"]:disabled {
	background-color: rgb( 60%, 60%, 60%) ; 
	}	
input[type="submit"]:disabled:hover {
	background-color: rgb( 60%, 60%, 60%) ; 
	}




/* above here new, changed or uesd as template since 12.2.21 ------------------------- */

.injText {
	border: 1px #888 solid ; 
	border-spacing: 0px ;
	}

.injText th {
	vertical-align: top;
	padding: 8px ;
	border: 1px #888 solid ; 
	font-size: 1.1em ; 
	}

.injText td {
	vertical-align: top;
	padding: 8px ;
	border: 1px #888 solid ; 
	}

.injText ul {
	padding-left: 0.5em ; 
	margin-left: 0.5em ;	
	}

/* above here new, changed or uesd as template since 16.1.21 ------------------------- */


#screenTitle {
	margin-top: 0.6em ;
	margin-left: 0px ; 
	margin-right: 10px ; 
	border-bottom: 2px #888 solid ; 
	color: rgb( 20%, 35%, 65%) ; /* was rgb( 10%, 20%, 40%) */
	font-weight: 700 ; 
	line-height: 1.3em ;
	padding-bottom: 0.3em ; 
	font-size: 1.4em ; /* was 2em */
	} 

h4 {	/* headings for several sections per page */
	font-size: 1.15em ; /* was missing */
	margin-top: 0 ; 
	margin-bottom: 0px ; 
	padding-top: 0.3em ; 
	padding-left: 0em ; /* was 0.3em */
	padding-bottom: 0.3em ; 
	color: rgb( 20%, 35%, 65%) ; /* was rgb( 10%, 20%, 40%) */
	line-height: 1.2em
	}

/*Above this is new or updated or used as template since 6.6.20 ------------------------------------------------ */


blockquote {
	border-radius: 10px ;
	padding: 10px 20px 10px 20px ;
	background-color: rgb( 92%, 92%, 92%) ; /* was 885 */
	}

#banner { 
	border-bottom: #000 2px solid ;
	}
	
#mainTable {
	/* width: 1004px ; */
	margin-top: 0px ;
	background-color: rgb(100%, 100%, 100%) ;
	margin-bottom: 0px ;
	border-left: 0px #000 solid ; 
	border-right: 0px #000 solid ; 
	
	}

#colA {
	background: rgb( 94%, 94%, 94%) ; 
	}

#colA a:hover {
	background: rgb( 80%, 80%, 80%) ; 
	text-decoration: none ;
	}

#colA a.active {
	color: white ;
	background-color: rgb( 20%, 60%, 100%) ; 
	}

#colB {
	}

#colB {
	}

#colBContent {
	font-size: 100% ; 
	background-color: rgb( 97%, 98%, 99%); /* body is rgb( 96%, 97%, 98%); */
	padding-left: 15px ; /* was 2em ; */
	padding-right: 15px ; /* was 2em ; */
	padding-bottom: 20px ; 
	}

#colBContent a {
	font-weight: bold;
	text-decoration: none;
	color: rgb( 0%, 20%, 60%); /* was rgb( 4%, 40%, 21%) */
	}

#colBContent a:hover {
	text-decoration: underline ;
	}

#colBContent a:hover {
	text-decoration: underline ;
	}

#myLinks2 {
	border-top: #000 2px solid ;
	}

#myLinks2 a:hover {
	background: rgb( 80%, 80%, 80%) ; 
	}

#banner a {
	color: white;
	padding: 14px 16px;
	text-decoration: none;
	font-size: 17px;
	display: block;
	}


@media screen and (max-width: 1000px) { /* for phone */
	#mainTable {
		width: 100% ;
		}
	#myLinks { 
		display: none ;
		}
	#blankLines {
		display: none ;
		}
	#banner { 
		font-size: 1.6em ; 
		padding: 0.4em 1em 0.3em 1em ; 
		}
	#colA {
		position: relative;
		}

	#banner a.icon {
		font-size: 20px ; 
		color: white ;
		background: black;
		display: block;
		position: absolute ;
		right: 0;
		top: 0;
		}
	#colA a {
		color: black ;
		padding: 14px 16px;
		text-decoration: none;
		font-size: 15px;
		display: block;
		}
	#myLinks2 a {
		color: black ;
		background: rgb( 94%, 94%, 94%) ; 
		padding: 14px 16px;
		text-decoration: none;
		font-size: 15px;
		display: block;
		}
	#myLinks2 a.active {
		color: white ;
		background-color: rgb( 20%, 60%, 100%) ; 
		}
	}

@media screen and (min-width: 1001px) { /* for PC or laptop */
	#mainTable {
		width: 1000px; /* was 1000px */
		}
	#banner { 
		font-size: 2em ; 
		padding: 0.5em 1em 0.5em 1em ; 
		}
	#banner a.icon { 
		display: none ;
		}
	#colA {
		height: 100% ;
		width: 20% ; /* was 20% of fixed 1000px */
		float: left ;
		margin-right: 0px ;	
		}
	#colA a {
		color: black ;
		padding: 12px 14px;
		font-size: 15px ;
		display: block;
		}
	#colB {
		width: 75% ; 
		float: left ;
		border-left: #000 1px solid ;
		}
	#myLinks {
		margin-top: 1em ;
		display: "block" ;
		}
	#myLinks2 {
		display: none ;
		}
	}

#colA button {
	padding: 0.3em 1.2em ; 
	margin: 0 0 0.3em 0 ;
	width: 100% ;
	display: none ;
	}




/*Above this is new or updated or used as template since 5.5.20 ------------------------------------------------ */


body {
	font-family: Verdana, Helvetica, Arial, sans-serif ;
	margin-top: 0px; 
	margin-left: 0px; 
	background-color: rgb( 97%, 98%, 100%); /* was rgb( 96%, 97%, 98%); */
	}


/* 
disabled 30.3.20:
*/


#navbar { 
	margin-left: 0px ; 
	display: none ; 
	}



/*Above this is new or updated or used as template since 20.3.20 ------------------------------------------------ */

#colA ul {
	/* according to McFarland, both of the following are needed - for different browsers - for the indent to the bullet - but the second causes havoc */
	margin-left: 2px ;
	/* padding-left: 2px ; */
	}

ul {
	margin-top: 3px ;
	margin-bottom: 3px ;
	margin-left: 15px ;
	padding-left: 15px ; /*McFaland says: use both (p121)*/
	}

	ul li ul {
	margin-top: 3px ;
	margin-bottom: 3px ;
	margin-left: 5px ;
	padding-left: 5px ; /*McFaland says: use both (p121)*/
	}


#colAHeader {
	margin-top: 0.6em ; 
	margin-bottom: 0em ; /* was 0.1em */
	padding-left: 0.3em ; 
	color: rgb( 0%, 0%, 10%) ; /* was rgb( 10%, 20%, 0%) */
	font-weight: 1000 ;
	font-size: 130% ; 
	padding-bottom: 0.6em ;
	border-bottom: #000 1px solid ; 
	}

#colA h3 {
	margin-top: 0.5em ; 
	margin-bottom: 0.1em ; 
	padding-left: 0.3em ; 
	color: rgb( 0%, 0%, 10%) ; /* was rgb( 10%, 20%, 0%) */
	background-color: rgb( 90%, 94%, 100%); /* was rgb( 97%, 98%, 99%); */
	line-height: 1.2em
	font-weight: 1000 ;
	font-size: 120% ; 
	}

.checkbox {
	width: 1.4em ;
	height: 1.4em ;
	}

.radio {
	width: 1.4em ;
	height: 1.4em ;
	}

.button {
	/*border: none;*/
	border: 1px #000 solid ;
	border-radius: 0.5em ;
	padding: 0.6em 1.5em;
	background-color: rgb( 85%, 95%, 85%) 
	}

.button:hover {
	background-color: rgb( 70%, 95%, 70%) 
	}

.button:active {
	background-color: rgb( 50%, 95%, 50%) 
	}

#navbar td {
	/* nb: some duplicated with #navbar a ; */
	border: 0px #888 solid ; 
	padding-top: 0.8em ;
	padding-left: 0px ;
	padding-right: 0px ;
	padding-bottom: 0.8em ;
	color: rgb( 13%, 10%, 0%) ; /* was rgb( 13%, 25%, 0%) */
	background-color: rgb( 88%, 95%, 88%) ; /* was rgb( 90%, 95%, 90%) */
	font-weight: 500 ; 
	}

#navbar a {
	text-decoration: none ; 
	padding-top: 0.8em ;
	padding-left: 1em ; /* was 1.5em */
	padding-right: 1em ;
	padding-bottom: 0.8em ;
	font-weight: 500 ; 
	color: rgb( 13%, 10%, 0%) ; /* was rgb( 13%, 25%, 0%) */
	}

/*Above this is new or updated or used as template since 27.12.19 ------------------------------------------------ */


/*Above this is new or updated or used as template since 8.7.19 ------------------------------------------------ */

.references td {
	vertical-align: top;
	}

/* .data is the stats table class from May 2019 - for stats tables created via php */
.data th {
	padding: 0.8em 1em ; /* was 0.6em 1em */
	background-color: rgb( 76%, 88%, 100%) ; 
	font-size: 100% ; 
	border: 1px rgb( 70%, 85%, 100%) solid ;
	border-bottom: 2px rgb( 20%, 50%, 80%) solid ;
	}

.data td {
	padding: 0.6em 1em ;	
	background-color: rgb( 88%, 94%, 100%) ; 
	font-size: 90% ; 
	border: 1px rgb( 70%, 80%, 90%) solid ; /* was #CCC */
	}

.data {
	/* border: 2px #888 solid ; */
	border: 2px rgb( 20%, 50%, 80%) solid ; /* was #888 - was #CCC */
	border-radius: 0px ; /* was 10px */
	padding: 0px ; /* was 0.5em */
	border-collapse: collapse ;
	}


.table1 td {
	padding: 0.6em 1em ;	
	background-color: rgb( 88%, 94%, 100%) ; 
	font-size: 90% ; 
	}

.table1 {
	border: 2px #CCC solid ; 
	border-radius: 10px ;
	padding: 0.5em ;
	}


/*Above this is new or updated since 12.5.19 ------------------------------------------------ */

h3 {	/* heading for a new section of a page or so */
	margin-top: 5px ; /* was 0 */
	margin-bottom: 0.3em ; /* was 0.3em ; */
	padding-top: 0.5em ; 
	padding-left: 0.3em ; 
	padding-bottom: 0.5em ; 
	color: rgb( 10%, 20%, 40%) ; /* was rgb( 10%, 20%, 20%) */
	background-color: rgb( 93%, 94%, 95%) ; /* rgb( 93%, 95%, 91%), rgb( 89%, 93%, 86%) */
	line-height: 1.2em ;
	font-weight: 800 ; /* was 1200 */
	font-size: 140% ; 
	}

h2 {	/* heading for a new section - starting at the top  of a new page in a many-paged document when printed */
	/* display: inline ; */
	color: rgb( 10%, 20%, 40%) ; /* was rgb( 10%, 20%, 0%) */
	font-weight: 1200 ;
	line-height: 1.2em ;
	padding-bottom: 0em ; 
	margin-bottom: 0.5em ; 
	font-size: 140% ; 
	}

#column1 {
	padding-left: 0px ; /* was 20px */
	}



/*Above this is new or updated since 5.4.19 ------------------------------------------------ */

/*Above this is new or updated since 20.2.19 ------------------------------------------------ */

#col0 { /* was #column0 */
	display: none ;
	}

#documentList input[type="submit"] {
	padding: 0.3em ;
	width: 400px ; 
	border-radius: 0em ; 
	text-align: left; 
	}

#lastUpdated {
	margin-top: 2em ;
	font-size: 0.8em ;
	}

.docTitle {
	margin-top: 0px; 
	font-size: 200% ; /* was 170% */
	line-height: 1.3em ; 
	color: rgb(0%, 30%, 70%) ; 
	font-weight: 500 ; /* was 700 */
	}

textarea {
	border: #CCC 3px solid ; /* was #CCC */
	}

.date {
	color: rgb( 30%, 30%, 30%) ; 
	font-size: 70% ; 
	}
	
hr {
	border: none ;
	height: 1px ;	
	background-color: rgb( 75%, 75%, 75%) ; 
	margin-right: 5px; 
	}

.no_screen {
	display: none ;
	}

textarea:disabled {
	background-color: rgb( 88%, 88%, 88%) ; 
	}

.user {
	color: rgb( 0%, 50%, 100%) ; 
	}



/*Above this copied from wacm 18.11.18 */


#mainTable a {
	text-decoration: none ; 
	}

big {
	line-height: 1.3em ;
	}

h1 { /* Before 2018 this was the standard mid-page heading, which is now h3 */
	margin-top: 0 ; 
	margin-bottom: 0px ; 
	padding-top: 0.3em ; 
	padding-left: 0.3em ; 
	padding-bottom: 0.3em ; 
	color: rgb( 10%, 20%, 0%) ; 
	background-color: rgb( 89%, 93%, 86%) ;
	line-height: 1.2em
	}


#footer {
	margin-top: 2em ;
	margin-bottom: 1em ;
	line-height: 1.3em ;
	}

.no_screen {
	display: none ;
	}


.quote {
	font-style: italic ; 
	font-weight: 800 ;
	line-height: 1.3em ;
	color: rgb( 25%, 50%, 0%) ; /* was color: #090 ; */
	text-align: center ;
	}