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;
}
*.blue {
  background-color: #003399
}
/* 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;
}