body { margin-left: 5%; margin-right: 5%; margin-top: 0%; margin-bottom: 5%; background: #ECEEF6; color: black; font-family: Arial, sans-serif;}
  p { font-size: 80%; color: black; text-indent: 2em; margin-top: .75em; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: normal; }
  dir { color: black; margin-top: .75em; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: normal; }
  li { font-size: 80%; color: black; margin-top: .75em; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: normal; }
  table { margin-top: .75em; }
  td { color: #000080; margin-top: 0; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: normal; }
  th { color: #000000; margin-top: 0; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: bold; }
  caption { font-size: 80%; color: #000000; margin-top: 0; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: bold; }
  h1 { font-size: 200%; color: #000080; font-family: Arial, sans-serif; font-weight: bold;}
  h2 { font-size: 150%; color: black; font-family: Arial, sans-serif; font-weight:bold; }
  h3 { font-size: 100%; color: black; font-family: Arial, sans-serif; font-weight: normal; }
  .menu { font-size: 80%; color: black; font-family: Arial, sans-serif; font-weight: normal; }
  .bib { font-size: 80%; color: black; margin-left: 2em; text-indent: -2em; margin-top: .75em; margin-bottom: 0; font-family: Arial, sans-serif; font-weight: normal; }
  .noindent { text-indent: 0; }
  .redface { color: red; }
  .button { width: 250px; }