body
    {
    color: #000;
    background: rgb(255,255,255);
    }

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 #008751;
   }

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;
    }

.sympheader
    {
    text-align: center;
/*     background: rgb(180,150,150); */
    font-size:100%;
    font-weight: bold;
    }

.nameheader
    {
    text-align: center;
/*     background: rgb(180,150,150); */
    font-size:180%;
    color: rgb(140,50,50);/*#B02624;*/
    }

.acroheader
    {
    text-align: center;
/*     background: rgb(180,150,150); */
    font-size:150%;
    }

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

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

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

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

.main
    {
    padding: 0px 10px;
    background: rgb(255,255,255);
    }

.dates
    {
    padding: 2px 6px;
    }

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

.inactive
    {
    color: #888888;
    }

.papertitle
    {
    font-style: italic;
    }

.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 11:42:03 Oct 23, 2015 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 18:00:53 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):
  PetaboxLoader3.resolve: 638.801 (2)
  LoadShardBlock: 1607.745 (3)
  PetaboxLoader3.datanode: 596.246 (4)
  esindex: 0.014
  exclusion.robots.policy: 0.199
  CDXLines.iter: 26.577 (3)
  captures_list: 1691.442
  exclusion.robots: 0.24
  RedisCDXSource: 52.085
  load_resource: 264.923
*/