<!--

html, body {
  font-size: 0.9em;
}

.warning, .warning_message {
  font-size: 1.2em;
}

.buttons {
  font-size: 1.3em;
}

div.boxlabel {
  font-size: 1em;
}

-->