body {
  background-color: #abcdef;
  color: black;
  text-align: justify;
  font-family: sans-serif;
}

input, textarea, select, option {
  border: thin solid black;
  background-color: #eeeeec;
}

option {
  border: none;
}

thead {
    font-weight: bolder
}

a img {
    border: 0 none;
}

/* Used in toolbox */
.code, .source {
	background-color: gray;
	margin: 1em;
	min-width: 20em;
	padding: 0.5em;
}
.hide {
    display: none;
}