div#main {
    clear:both;
    width: 1200px;
    margin-left:auto;
    margin-right:auto;
    float: top;
    background-color: white;
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 14px;
    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;
  }
  
  div#footer {
      clear:both;
      float:none;
      min-height:20px;
      border-top:2px solid #9c9c9c;
  }
  
  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%;
    color: white; 
  /* # color: #fec040; # ff7541; # #fec040; */
   /* color: orange;  #ed4a04; */
    text-shadow: -1px 0 black, 0 1px black, 1px 0 black, 0 -1px black;
  /* # text-shadow: -1px 0 #ff7541, 0 1px #ff7541, 1px 0 #ff7541, 0 -1px #ff7541; */
  /* # text-shadow: -1px 0 white, 0 1px white, 1px 0 white, 0 -1px white; */
  /* # text-shadow: none; */
    min-height: 30px;
    z-index: 0;
    filter: alpha(Opacity=100);
    filter: alpha(opacity=100);
    background-image: url(./images/ljubljana4-wide.jpg); /* ako: Your browser might cash the CSS, so use Shift+ Browser-Refresh to see any CSS change */
    -webkit-border-radius: 6px 6px 0px 0px;
    -moz-border-radius: 6px 6px 0px 0px;
    border-radius: 6px 6px 0px 0px;
    -webkit-background-size: cover;
    -moz-background-size: cover;
    -o-background-size: cover;
    background-size: cover;
    opacity:1.0;
  }
  
  div#header #conflong {
      text-align: center;
      font-family: Arial,Helvetica,Georgia,sans-serif;
      font-size: 30px;
      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:  24px;
      font-weight: bold;
  }
  
  div#header #date {
      text-align: center;
      font-family: Arial,Helvetica,Georgia,sans-serif;
      font-size: 22px;
      font-weight: bold;
  }
  
  div#header #place {
      text-align: center;
      font-family: Arial,Helvetica,Georgia,sans-serif;
      font-size: 22px;
      font-weight: bold;
  }
  
  div#conference {
      text-align: center;
      font-family: Arial,Helvetica,Georgia,sans-serif;
      font-size: 14px;
      font-weight: bold;
  }
  
  .SpeakerName {
    font-weight: bold;
  }
  
  .SpeakerOrganization {
    font-style: oblique;
  }
  
  .SpeakerTitle {
    font-weight: normal;
  }
  
  .Speaker {
      border-color:white;
      border-style:solid;
      border-top: 0px solid white;
      border-left: 4px solid white;
      border-right: 4px solid white;
      border-bottom: 0px solid white;
  }
  
  ### 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: 14px;
    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: 14px;
    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;
  }
  
  .canceled {
    float:right; 
    clear:none;
    text-decoration: line-through;
  }
  
  div#menubar ul li[class="track"] {
    float:left; 
    clear:none;
  }
  
  #menubar ul li#sat-dm {
    margin-left: 250px;
  }
  
  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: 14px;
    font-weight: bold;
    background-color: white;
  }
  
  div#menu ul {
    width: 180px;
    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: 14px;
    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: 14px;
   color: rgb(55, 55, 55);
  /* width: 836px;/* 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 td {
    padding-top: 2px;
    padding-bottom: 2px;
    padding-left: 2px;
    padding-right: 10px;
  }
  
  div#content table tr:nth-child(odd) { background-color: rgb(230, 230, 230); }
  div#content table tr:nth-child(even) { 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:140px;/*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:130px;
   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;
      padding-top: 5px;
      padding-bottom: 5px;
      vertical-align:top;
  }
  
  .rowhead {
      background-color: rgb(200, 200, 200);
      text-align:center;
      width:70px;
      height:5px;
      padding-top: 0px;
      padding-bottom: 15px;
      vertical-align:top;
  }
  
  .tabledata {
      background-color: rgb(230, 230, 230);
      text-align:center;
      padding-top: 5px;
      padding-bottom: 5px;
      vertical-align: top;
  }
  
  .tableshortdata {
      background-color: white;
      text-align:center;
      padding-top: 5px;
      padding-bottom: 5px;
      padding-left: 5px;
      padding-right: 5px;
      vertical-align: middle;
      filter:alpha(opacity=100);
      opacity: 1.0; 
  }
  
  .tableshortdata .popup {
    display: none;
  }
  
  .tableshortdata:hover {
    opacity: 0.9; 
    filter:alpha(opacity=90);
  }
  
  .tableshortdata:hover .popup {
      position: absolute;
      display: block;
      background-color: inherit;
      border: 1px solid red;
      margin-left: 15px;
      margin-top: -15px;
      vertical-align: center;
      horizontal-align: center;
      width:250px;
  }
  
  .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: 14px;
    color: rgb(55, 55, 55);
  }
  
  .paper span.title {
    font-family: Arial,Helvetica,Georgia,sans-serif;
    font-size: 14px;
    font-style: oblique;
    font-weight: normal;
    color: rgb(55, 55, 55);
  }
  
  .chair {
    writing-mode: vertical-rl;
    text-orientation: mixed;
    text-align: center;
    vertical-align: middle;
  }
  
  .cicm {
    background-color: rgb(150,150,255);
  }
  
  .calculemus {
      background-color: #BAD3EA;
  }
  .mkm {
      background-color: #D187FF;
  }
  .dml {
       background-color: #FFD300; 
  } 
  .wip {
      background-color: #9BE5D6;
  }
  .surproj, .prosur {
      background-color: #F0ECCC;
  }
  .sysdat {
      background-color: #F0ECCC;
  }
  .doctoral, .docprog {
      background-color: #A47864;
  }
  .free {
    background-color: rgb(211,240,231);
  }
  .business {
    background-color: rgb(100,200,100);
  }
  .social {
       background-color: #E1D2FB; 
  }
  .lml {
      background-color: #FF7141;
  }
  .openmath {
      background-color: #DFE987;
  }
  .fvps {
      background-color: #9FC131;
  }
  .cmeei {
      background-color: #9BDDBC;
  }
  .emml {
      background-color: #DD3890;
  }
  .fmm {
      background-color: #DD3800;
  }
  .invited {
    background-color: yellow;
  }
  
  .cell {
      width:155px;
  }
  .halfcell {
      width:77px;
  }
  
  .thirdcell {
      width:51px;
  }
  
  .mostofcell {
      width:130px;
  }
  .restofcell {
      width:25px;
  }
  
  .legend {
          width:84px;
          vertical-align:middle;
          font-size:80%;
  }
  
  .vertical {
     text-align: center;
     vertical-align: middle;
  }
  
  .center-horizontal {
    width: 50%;
    margin: 0 auto;
  }
  
  ol.invited {
      counter-reset: item;
      list-style-type: none;
      background-color: rgb(255, 255, 255);
  }
  
  ol.invited li:before {
      content: 'I' counter(item, decimal) '. ';
      counter-increment: item;
      background-color: rgb(255, 255, 255);
  }
  
  ol.full {
      counter-reset: item;
      list-style-type: none;
      background-color: rgb(255, 255, 255);
  }
  
  ol.full li:before {
      content: 'F' counter(item, decimal) '. ';
      counter-increment: item;
      background-color: rgb(255, 255, 255);
  }
  
  ol.system {
      counter-reset: item;
      list-style-type: none;
      background-color: rgb(255, 255, 255);
  }
  
  ol.system li:before {
      content: 'S' counter(item, decimal) '. ';
      counter-increment: item;
      background-color: rgb(255, 255, 255);
  }
  
  