big {

/*  font-size:19pt; */

  font-size: x-large;

  font-family: Helvetica; 

  color: #ffffff; 

  font-weight: bold

}

b {

  font-size: larger; 

  font-family: Helvetica; 

  color: #003399

}

*.title {

  font-family: Helvetica;

  color: #003399;

  font-size: xx-large;

  font-weight: bold;

  text-align:center

}

*.left {

  text-align:left

}

/*h1 {

  font-size: xx-large;

  font-family: Helvetica;

  text-align:center;

  color: #003399

}*/

h2 {

  font-size: x-large;

  font-family: Helvetica;

  text-align:center;

  color: #003399

}

h3 {

  font-size: large;

  font-family: Helvetica;

  text-align:center;

  color: #003399

}

h4 {

  font-family: Helvetica;

  text-align:left;

  color: #003399

}

small {

  font-size:9pt; 

  font-family: Helvetica; 

  color: #000000

}

body {

  background-color: #FFFFFF;

  width: 94%;

  text-align: justify;

}

red {

 color: #AA3300

}

*.blue {

  background-color: #005599

}

/* p {

  text-align: justify

} */

p.center 

{

  text-align: center

}

p.quote

{

  margin: 1ex 4em;

}

a:link

{

  color: #003399;

  text-decoration: underline;

}

a:visited

{

  color: #444444;

  text-decoration: underline;

/*  color: #002970

  color: #9999FF */

}

dt.session

{

  font-style: italic;

}

dd.contrib

{

  font-weight: bold;

}

dd.authors

{

  font-weight: normal;

}

th.left {

  text-align: left;

  padding-right: 1em;

}

td {

  vertical-align: top;

}

th {

  text-align: center;

}

td.box {

  text-align: center;

  border: thin solid black;

}

td.small {

  text-align: center;

  font-size: x-small;

  border: 0;

}

td.General {

  text-align: center;

  border: thin solid black;

  background: #fffed0;

  width: 8em;

}

td.satellite {

  text-align: center;

  border: thin solid #808080;

  background: #e0e0e0;

  width: 8em;

}

td.ESOP {

  text-align: center;

  border: thin solid purple;

  background: #edd9ff;

  width: 8em;

}

td.FASE {

  text-align: center;

  border: thin solid orange;

  background: #ffe9bf;

  width: 8em;

}

td.TACAS {

  text-align: center;

  border: thin solid green;

  background: #ccffcc;

  width: 8em;

}

td.FOSSACS {

  text-align: center;

  border: thin solid red;

  background: #ffd6d6;

  width: 8em;

}

td.CC {

  text-align: center;

  border: thin solid navy;

  background: #ccf3ff;

  width: 8em;

}

body.satellite {

  background: #efefef;

  margin: 0ex;

  padding: 1ex;

  border-left: thin solid grey;

}

body.ESOP {

  background: #f8f0ff;

  margin: 0ex;

  padding: 1ex;

  border-left: thin solid purple;

}

body.FASE {

  background: #ffffe0;

  margin: 0ex;

  padding: 1ex;

  border-left: thin solid orange;

}

body.TACAS {

  background: #efffef;

  margin: 0ex;

  padding: 1ex;

  border-left: thin solid green;

}

body.FOSSACS {

  background: #fff0e8;

  margin: 0ex;

  padding: 1ex;

  border-left: thin solid red;

}

body.CC {

  background: #eafaff;

  margin: 0ex;

  padding: 1ex;

  border-left: thin solid navy;

}

address {

  font-size: x-small;

  margin: 1em 0em 1em 0em;

}