/* Neil Ramsden
   28 Dec 05

   CSS definitions for doubling main frame.
*/

body,
.instruction-list {
  font-size: 12px;
}

.label {
  font-size: 80%;
  font-style: italic;
}


.text-input,
input {
  font-size: 14px;
}

.no-scripts {
  font-size: 120%;
  margin: 1em 0em;
  border: solid #FF0000;
  background-color: #FF8080;
  padding: 1ex 1em;
}

.no-scripts > * {
  margin: 1em 1em;
}