div#main {
  clear:both;
  width: 1024px;
  margin-left:auto;
  margin-right:auto;
  float: top;
  background-color: white;
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-size: 13px;
  color: rgb(55, 55, 55);
  -webkit-border-radius: 6px 6px 6px 6px;
  -moz-border-radius: 6px 6px 6px 6px;
  border-radius: 6px 6px 6px 6px;
}


body {
  background-color: gray;
}

a {
  text-decoration: none;
  color: rgb(55, 55, 55);
}

div#header {
  margin: 0px;
  padding-top: 10px;
  padding-bottom: 10px;
  top: 2px;
  width: 100%;
  min-height: 30px;
  background-color: white;
  -webkit-border-radius: 6px 6px 0px 0px;
  -moz-border-radius: 6px 6px 0px 0px;
  border-radius: 6px 6px 0px 0px;

}

div#header #conflong {
    text-align: center;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 21px;
    font-weight: bold;
}

div#header #confshort {
    text-align: center;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 21px;
    font-weight: bold;
}

div#header #event {
    text-align: center;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size:  23px;
    font-weight: bold;
}

div#header #date {
    text-align: center;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 13px;
    font-weight: normal;
}

div#header #place {
    text-align: center;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 13px;
    font-weight: normal;
}
div#conference {
    text-align: center;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 11px;
    font-weight: bold;
}


### The menu bar 

div#menubar {
  clear: both;
  padding-left: 0px;
  padding-bottom: 0px;
  padding-right: 0px;
  padding-top: 5px;
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-size: 11px;
  font-weight: bold;
}

div#menubar ul {
 padding-left: 0; 
 margin-left: 5px;
 padding-right: 0; 
 margin-right: 5px;
 list-style-type: none;
<!--[if IE]>overflow: hidden;<![endif]-->
}

#menubar ul li {
  border-top: 1px solid #9c9c9c;
  border-left: 1px solid #9c9c9c;
  border-right: 1px solid #9c9c9c;
  border-bottom: 1px solid #9c9c9c;
  -webkit-border-top-left-radius: 6px;
  -webkit-border-top-right-radius: 6px;
  -moz-border-radius-topleft: 6px;
  -moz-border-radius-topright: 6px;
  border-radius: 6px 6px 0 0;
  padding: 0px 5px 0px 5px;
#  padding: 2px 10px 1px 10px;
  min-height: 16px;
  background-color: rgb(230, 230, 230);
#  border-bottom: 2px solid white;
  color: rgb(55, 55, 55);
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-size: 13px;
  font-weight: bold;
  width: auto;
}

#menubar ul li:hover { background-color: rgb(245, 245, 245);}

#menubar ul li:before {  
/*     content: url("images/left-of-tab.gif") " " url("images/doublearrow.gif") " " ;  */
   content:  url("images/doublearrow.gif") " " ; 
/*     margin-left: 0px; */
/*     margin-right: 0px; */
}

/* #menubar ul li:after {  */
/*     content: "  " url("images/right-of-tab.gif")  ;  */
/*     margin-left: 0px; */
/*     margin-right: 0px; */
/* } */

#menubar ul li[activeevent="true"] {
  background-color: white;
  color: rgb(55, 55, 55);
  border-bottom: 2px solid white;
}

#menubar ul li[class="workshop"] {
  float:right; 
  clear:none;
}

div#menubar ul li[class="track"] {
  float:left; 
  clear:none;
}



div#menubottom { 
  padding-top: 17px;
  margin-bottom: 3px;
  border-bottom: 1px solid #9c9c9c;
  background-color: white;
}



div#lowerpart {
}


div#lowerpart ul { background-color: white; float:left; margin: 0px; padding:0px; }

div#lowerpart li { list-style-type: none; float:left; }

## The Menu 

div#menu {
  padding-left: 0px;
  padding-bottom: 0px;
  padding-right: 0px;
  padding-top: 0px;
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-size: 11px;
  font-weight: bold;
  background-color: white;
}

div#menu ul {
  width: 200px;
  float:left;
  list-style-type: none;
  margin-top: 0px;
  padding-bottom: 1px;
  padding-right: 1px;
  padding-left: 0px;
  margin-left: 0px;
  margin-right: 6px;
  font-weight: bold;
  border-top: 1px solid rgb(183, 183, 183);
  border-right: 1px solid rgb(183, 183, 183);
  border-bottom: 1px solid rgb(183, 183, 183);
  background-color: rgb(230, 230, 230);
}

#menu ul li {
  padding-left: 3em;
  background-repeat: no-repeat;
  padding-top: 6px;
  padding-bottom: 6px;
  background-position: 2.2em 0.8em;
  background-image: url(images/doublearrow.gif);
  border-top: 1px solid white;
  border-bottom: 1px solid rgb(183, 183, 183);
  border-right: 1px solid rgb(183, 183, 183);
  float: none;
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-size: 13px;
  font-weight: normal;
}

#menu ul li:hover { background-color: white; }

#menu ul li[activemenu="true"] {
  font-weight: bold;
}

### The content page

div#content {
 clear: right;
 float: right;
 background-color: white;
 font-family: Arial,Helvetica,Georgia,sans-serif;
 font-size: 11px;
 color: rgb(55, 55, 55);
 width: 820px;
 padding: 5px; 
}

div#content p {
 text-align: justify;
}

div#content p:first-letter {
 font-weight: normal; 
}

div#content table {
  float:none;
  clear:both;
  text-align:left;
  vertical-align:top;
  margin: 10px auto 10px auto;
}

div#content table tr:nth-child(even) { background-color: rgb(230, 230, 230); }
div#content table tr:nth-child(odd) { background-color: white; }

div#content ul, div#content ol {
 margin: .2ex 0 .2ex 0;
 padding: .2ex 0 .2ex 0;
 clear: both;
 float: none;
}

div#content ul li {
 clear:both;
 float:none;
 margin: .3ex 0px .3ex 16px; 
 padding: 0px 0px 0px 0px;
 list-style-type: square;
 list-style-position: outside;
}

div#content ol li {
 clear:both;
 float:none;
 margin: .3ex 0px .3ex 16px; 
 padding: 0px 0px 0px 0px;
 list-style-type: decimal;
 list-style-position: inside;
}


.title, div#content h1, div#content h2, div#content h3 {
    clear:both;
    font-weight: bold;
    font-size: 17px;
    margin: 1ex 0ex 1ex 0ex;
}

div#content a {
  text-decoration: underline;
  color: rgb(55, 55, 55);
}

div#content b { 
  font-weight: bold;
}


### The right column

div#rightcolumn {
  width:180px;
  padding:10px;
  margin:10px;
  text-align:right;
}

div#rightcolumn ul, div#rightcolumn ol {
 margin: .2ex 0 .2ex 0;
 padding: .2ex 0 .2ex 0;
 clear: both;
 float: none;
}

div#rightcolumn ul li {
 text-align:left;
 width:150px;
 clear:both;
 float:none;
 margin: 0px 0px 0px 50px; 
 padding: 0px 0px 0px 0px;
 list-style-type: square;
 list-style-position: outside;
}

div#rightcolumn ul li:first-child {
 color: rgb(255, 0, 0);
}

#workshops ul, #globalmenu ul {
    list-style-type:none;
    margin:0;
    padding:0;
    display:none;
}

#workshops:hover ul,#globalmenu:hover ul {
    list-style-type:none;
    margin:0;
    padding:0;
    display:block;
    position: absolute;
}

#workshops:hover ul li,#globalmenu:hover ul li {
    float:right;
    clear:right;
    width:140px;
    text-align:right;
    border-radius: 6px 6px 6px 6px;
    -webkit-border-radius: 6px 6px 6px 6px;
    -moz-border-radius: 6px 6px 6px 6px;
    padding-top: 5px;
    padding-bottom: 5px;
    opacity:.95;
    filter:alpha(opacity=95);
}

#workshops:hover ul li:before {  
   content: ""; 
}

.eventref {
 list-style-type: none;
 list-style-position: inside;
 padding:0px; 
 margin:0px;
}

/* Background Colors for events */ 

.tablehead {
    background-color: rgb(200, 200, 200);
    text-align:center;
    width:140px;
    padding-top: 5px;
    padding-bottom: 5px;
}

.rowhead {
    background-color: rgb(200, 200, 200);
    text-align:left;
    padding-top: 5px;
    padding-bottom: 5px;
}

.tabledata {
    background-color: rgb(230, 230, 230);
    text-align:center;
    padding-top: 5px;
    padding-bottom: 5px;
}


.papers {
    padding-left: 0px;
    margin-left: 0px;
}

.paper {
  list-style-position:outside;
}

.paper span.authors {
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-style: normal;
  font-weight: normal;
  font-size: 13px;
  color: rgb(55, 55, 55);
}

.paper span.title {
  font-family: Arial,Helvetica,Georgia,sans-serif;
  font-size: 13px;
  font-style: oblique;
  font-weight: normal;
  color: rgb(55, 55, 55);
}

.aisc {
	background-color: #E6DAEC;
}
.uitp {
	background-color: #9BE5D6;
}
.sysprojects {
	background-color: #F0ECCC;
}
.calculemus {
	background-color: #BAD3EA;
}
.openmath {
	background-color: #DFE987;
}
.doctoral {
	background-color: #A47864;
}
.docprog {
	background-color: #A47864;
}
.mir {
	background-color: #9FC131;
}
.omws {
	background-color: #DD3848;
}
.mkm {
//	background-color: #7F6FB0;
	background-color: #D187FF;
}
.workshops {
        background-color: #9BDDBC;
} 
.dml {
 	background-color: #FFD300; 
} 
.social {
 	background-color: #E1D2FB; */
}
.mathui {
	background-color: #9BDDBC;
}

.invited {
        font-weight:bold; 
}