input:focus {
background-color: var(--input_focus-bgcol);
}
textarea:focus {
	color: var(--textarea-fgcol);
	background-color: var(--textarea-bgcol);
}
input, select, textarea {
	font-size:16pt;
	padding:2px;
	padding-left: 5px;
	padding-right: 5px;
	border-width: 1px;
    border-style: solid;
}
input[type=checkbox]
{
  /* Double-sized Checkboxes */
  -ms-transform: scale(2); /* IE */
  -moz-transform: scale(2); /* FF */
  -webkit-transform: scale(2); /* Safari and Chrome */
  -o-transform: scale(2); /* Opera */
  padding: 10px;
}
option[selected] {
	background-color: var(--option_selected-bgcol);
	color: var(--option_selected-fgcol);
}