/* might need extensions */
body
  {margin:0;padding:0;background-color:#ffa;}
body,div,p,span,td
  {font-size:1.2em; font-family:"Times New Roman",Times,serif;}
a:link, a:visited
  {color:black; text-decoration:none;}
a:hover, a:active
  {background-color:#eff;}
td
  {padding:0}
table
  {width:100%; align-content:center; border-collapse:collapse; margin:auto}
img
  {display:block; text-align:center; margin:auto}
.pddiv /* list of pdf files */
  {font-size:1.0em; font-family:"Times New Roman",Times,serif;
    margin-top:0px; margin-bottom:0px; margin-left:0.5em; margin-right:0px;
  }
.pdbut /* clickable button */
  {font-size:0.8em; font-family:Arial,Helvetica,sans-serif;
  }