body
    {
    color: #000;
    background: #fff;
    }

h1 {
   font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
   margin:0px;
   padding:0px;
   margin-top:1ex;
   margin-bottom:2ex;
   font-size:110%;
   color: #000;
   border-bottom:4px solid #eb5;
   }

p {
  text-align: justify;
  }

a[href]
    {
    color: #2624B0;
    text-decoration: none;
    }

a.button
    {
    font-family: "Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
    font-size: 85%;
    color: white;
    font-weight: bold;
    text-decoration: none;
    }

a.button:hover
    {
    text-decoration: underline;
    color: #00ff00
    }

.sympheader
    {
    text-align: center;
    font-size:100%;
    color: #2624B0;
    }

.nameheader
    {
    text-align: center;
    font-size:150%;
    color: #B02624;
    }

.acroheader
    {
    text-align: center;
    font-size:150%;
    }

.affiliation
    {
    text-align: center;
    font-style: italic;
    }

.seacolor
    {
    text-align: center;
    background: #79d;
    color: white;
    font-weight:bold;
    }

.beachcolor
    {
    text-align: center;
    background: #eb5;
    color: black;
    font-weight:bold;
    }

.latmenu
    {
    border-width: 10px;
    border-style: solid;
    border-color: #79d;
    background: #79d;
    color: white;
    }

.main
    {
    padding: 0px 10px;
    background: white;
    }

.dates
    {
    padding: 2px 6px;
    }

.super
    {
    vertical-align: super;
    font-size: 70%;
    }

.inactive
    {
    color: #888888;
    }

.papertitle
    {
    font-weight: bold;
    }

.authors
    {
    font-style: italic;
    }

.authoraffil
    { 
    font-style: normal;
    font-family: sans-serif;
    font-size: smaller
    }

.confday
   {
   margin:0px;
   padding:0px;
   margin-top:1ex;
   margin-bottom:2ex;
   font-size:110%;
   color: #B02624;
   }

.nonsci
    {
    font-weight: bold;
    color: green
    }

.sessionname
    {
    font-weight: bold;
    color: #2624B0;
    }
   
.invitedtalk
    {
    font-weight: bold;
    color: #B000B0;
    }

.red { color : red;}
/*
     FILE ARCHIVED ON 10:55:48 May 30, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 17:56:11 Dec 16, 2020.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  exclusion.robots: 0.2
  CDXLines.iter: 19.78 (3)
  LoadShardBlock: 607.241 (3)
  RedisCDXSource: 76.834
  exclusion.robots.policy: 0.185
  PetaboxLoader3.resolve: 2726.426 (2)
  load_resource: 4328.563 (2)
  PetaboxLoader3.datanode: 948.571 (5)
  captures_list: 708.452
  esindex: 0.013
*/