* { margin: 0; padding: 0; }
body {
  font-family: arial,sans-serif;
  margin: .5em;
}
body#sfn-help div#container {
  width: 40em;
  margin: auto;
}
p { margin: .5em 0; }
li { margin: .5em 0 .5em 2em; }
h1, h2, fieldset {
  border: 1px solid #a0a0a0;
  background-color: #d0d0d0;
  font-size: medium;
  margin-bottom: 4px;
  padding: .25em;
}
fieldset legend {
  font-size: small;
  font-weight: bold;
}
label {
  display: block;
  float: left;
  clear: left;
  border: 0px solid #a0a0a0;
  font-size: small;
  font-weight: bold;
  padding: 0 2px;
  text-align: right;
  min-width: 4em;
  max-width: 10em;
}
input { margin-top: 4px; }
textarea {
  background-color: #f0f0f0;
  font-family: courier-new,courier,serif;
  font-size: medium;
  margin-top: 4px;
  overflow: auto;
}
h1, h2, h3, h4 { color: #404040; }
h1 { font-size: medium; }
h2 { font-size: small; }
h3 { font-size: x-small; margin-bottom: 3px; }
div.commands {
  font-size: small;
  padding: 4px;
  font-weight: normal;
}
button { padding: 2px 4px; }
input#opt-ambig { margin-left:2em; }
#column1 { width: 49%; float: left; background-color: #fff; }
#column2 { width: 49%; float: left; margin-left: 8px; }
#vandaltools li { font-family: courier; font-size: small; }
table.code { margin: 0 auto; width: 100%; text-align: center; }
table.code th, table.code td { border: 1px solid #ccc; }
td.code { font-style: normal; font-family: "courier new"; }
td.code div { margin-top: 1em; }
#log { clear: both; }
#logol { font-size: x-small; }
#logol li { margin-top: 0; margin-bottom: 2px; }
#logol li code { font-family: courier new; font-size: 110%; }
#logol li code.old { background-color: #eee; }
#logol li code.new { background-color: #cfc; }
.copyright { text-align: center; }