body {
    background: #ffffff;
    color: #000000;
    font-family: "Times New Roman", serif;
    font-size: 14px;
    margin: 12px;
  }
  h1 { font-size: 20px; font-weight: bold; margin: 0 0 12px 0; }
  .box {
    border: 1px solid #000000;
    padding: 8px;
    margin-top: 12px;
  }
  .box h2 { font-size: 15px; margin: 0 0 8px 0; }
  .hint { font-size: 12px; }
  .panel { border: 0.01rem inset #555; margin: 6px 0; padding: 8px; }
  .panel h3 { font-size: 14px; font-weight: bold; margin: 0 0 6px 0; }
  label { display: inline-block; }
  input[type=text], input[type=number], textarea, select {
    font-family: "Courier New", monospace;
    font-size: 13px;
    border: 1px solid #000000;
    background: #ffffff;
    color: #000000;
  }
  textarea { width: 98%; }
  button {
    font-family: "Times New Roman", serif;
    font-size: 14px;
    background: #ffffff;
    border: 1px solid #000000;
    padding: 3px 10px;
    cursor: pointer;
    color: #000000;
  }
  .filelist { font-family: "Courier New", monospace; font-size: 12px; }
  #cloud {
    font-family: "Courier New", monospace;
    background: #ffffff;
    color: #000000;
    border: 1px solid #000000;
    padding: 10px;
    white-space: pre-wrap;
    line-height: 1.7;
    min-height: 60px;
    overflow-x: auto;
  }
  #legendOut { font-family: "Courier New", monospace; font-size: 12px; }
  table.wc { border-collapse: collapse; }
  table.wc td { padding: 2px 6px; vertical-align: bottom; }
  table.counts {
    border: 0.01rem inset #555;
    border-collapse: collapse;
    font-family: "Courier New", monospace;
    font-size: 13px;
  }
  table.counts th {
    text-align: left;
    font-weight: normal;
    padding: 2px 10px;
    border: 1px solid #000000;
  }
  table.counts td {
    padding: 2px 10px;
    border: 1px solid #000000;
  }
  table.counts td.num { text-align: right; }
  .subgrid td { vertical-align: top; padding-right: 14px; }