/* title, headings ect. */
  div#title { width: 500px; font: 11pt Times;
    margin-left: 10px; margin-right: 20px; 
    display: flex; justify-content: space-between; }
  h2 { font-size: 12pt; font-style: "Times"; 
    font-weight: bold; margin-bottom: 0; }
  h3 { font-weight:bold; }
  h4 { font-style: "Times"; display: inline; 
    font-weight: bold; margin-bottom: 0; }
   /* control options inputs */
  #F1a { width: 60px; border-style: none; text-align: left }
  #F2a { width: 60px; border-style: none; text-align: left }
  #errmsg { width: 120px; border-style: none; text-align: left }
   /* application guide show/hide features */
  div#g { display: inline; margin-top: 17px; border: }  
  div#guide { display: "none"; } 
  div#svols { display: "none"; } 
  div#volsbox { width: 467px; font: 11pt Times; 
    border: 1px solid black; padding: 12px; }
  div#Noticebox { width: 490px; font: 11pt Times; 
    border: none; padding: 12px; margin-left: 10px;
    margin-right: 10px; }
  div#introbox { width: 500px; font: 11pt Times; 
    border: 1px solid black; padding: 12px; }
   /* control options panel */
  div#formbox { width: 500px; font: 11pt Times; 
    border: 2px solid black; margin-left: 10px;
    margin-right: 20px; padding-left: 7px; 
    padding-bottom: 0; padding-top: 10px; }
   /* play and select box */
  div#playbox { width: 500px; font: 11pt Times;
    border: 2px solid black; margin-left: 10px; 
    margin-right: 20px; padding-left: 7px; 
    padding-bottom: 10px; padding-top: 10px; }
   /* result chart*/
  div#reschart { display: none; }
   /* frequency and current volume table */
  table { border: 2px solid black; margin: 10px;
    padding: 0; font-size: 85%; caption-side: top; }
   /* frequency and current volume table */
  td { border: 1px solid black; text-align: right; 
    bottom-margin: 0; }
  td.baseVols { width: 2em; text-align: right; }
   /* popup help box */
  #popup { width: 320px; background-color: ivory; 
    border: black solid 0.5px; border-radius: 5px;
    padding: 10px;font: 11pt Times; margin: 0; }
  div #okbox { display: flex; justify-content: right;
    align-items: right; margin: 12px }