/*  Overall font properties */
  body {font-family: arial;
  font-size: 10pt;}

  /* link colors */
  a:link {color: rgb(0,100,180); text-decoration: none;}
  a:visited {color: rgb(0,120,160); text-decoration: none;}
/*  a:visited {color: rgb(0,100,75);} */
/*  a:visited {color: rgb(0,100,180);} */

  /* create a column class */
  .column {float: left;
  padding: 10px;
  width: 350px;}

  /* create an intermediate width column class */
  .columnnew {float: left;
  padding: 10px;
  width: 450px;}

  /* create a thick column class */
  .columnthick {float: left;
  padding: 0px 20px 0px 5px;
  width: 550px;}

    /* create a thin column class */
  .columnthin {float: left;
	       padding: 5px;
  width: 150px;}

  /* create a thin column class */
  .columnmedium {float: left;
  padding: 5px;
  width: 275px;}

  /* create a class using Times font */
  .dotimes {font-family: times;}

  /* back to left end of screen; smaller figure caption font */
  .clear {clear: left; padding-left: 10px;}
  figcaption {font-size: 8pt;}
  table {
      border-spacing: 5px;
      font-size: 10pt;
  }