/* Font definition */

html, body {
   height: 100%;
   width: 100%;
   overflow: auto;
   font-size: 100%;
}

body {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-size: 0.8em;
   margin: 0;
   padding: 0;
}

h1 {
   color: #660033;
   font-size: 1.3em;
   margin: 1em;
   margin-bottom: 0.5em;
   padding: 0.25em;
   font-style: underline;
   border-bottom-style: solid;
   border-bottom-width: 0.0em;
   border-bottom-color: #f00;
}


h2 {
   color: #000;
   font-family: sans-serif, tahoma;
   font-size: 1.2em;
   margin: 15px;
   margin-top: 18px
   padding: 3px;
   padding-left: 10px;
}

h3 {
   color: #999;
   font-size: 1.2em;
   margin-bottom: 0px;
   margin-top: 25px;
}

.underline {
   text-decoration: underline;
   font-family: Comic Sans MS;
}

.centr {
   text-align: center;
}

h2.sem {
   margin-left: 60px;
   color: #000;
   font-family: sans-serif, tahoma;
   font-size: 1.3em;
   margin-top: 18px
   margin-bottom: 0;
   padding: 0px;
   padding-left: 10px;
}

/* Layout definitions */

#content {
   height: 100%;
   margin-left: 0px;
   overflow: visible;
   background-color: #fff;
}

#menu {
   position: absolute;
   left:0;
   background-color: #ffc;
   width: 0px;
   height: 100%;
   border: 0px solid;
   border-bottom: 0px;
   border-top: 0;
   top: 0;
}

/* Division within content */

#main {
   height: 100%;
   width: 95%;
   position: absolute;
}

#header {
   background-color: #fff;
   text-align: left;
   border: 0px solid;
   left: 50px /* 10px */;
   width: 850px; /* nothing */
   top: 0px;
   position: absolute;
}

#main_content {
   position: absolute;
   top: 240px;
   left: 50px;
   width: 850px;
}

.topleft {
   position: absolute;
   top: 0;
   left: 0;
}

#main_content_main {
   position: absolute;
   top: 200px;
   left: 300px;
}

#header a{
   text-decoration: none;
   border: 0 solid black;
}


/* Definition of menu_left */

ul {              /* All listings */
   list-style-type: none;
   margin:0;
   padding:0;
}


.menu_top li { display: inline; /* correction for IE5 et IE5.5 */ }

.menu_top {
   position: absolute;
   top: 190px;        /* Menu position that can be changed at will */
   left: 110px;
   margin: 0em 0 0em 0;
   width: 725px;
}

.menu_top li {
   float: left;
}

.menu_top li a {        /* definition for each button in the menu
*/
   display: block;
   text-align: center;
   border: 1px solid gray;
   border-width: 0px;  /* top, right, bottom, left */
   text-decoration: none;
   font-weight: bold;
   color: #603;
   background: url('images/button30_145x18.gif') no-repeat bottom;
   padding: 2px;
   padding-top: 2px;
   margin: 0px 1px 0px 2px;            /* top, right, bottom, left */
   height: 20px;
   width: 145px;
}


.menu_top li a:hover {
   color: #f03;
   background: #fff;
   font-weight: bold;
   margin: 4px 1px 0px 2px;
   background: url('images/button31_145x18.gif') no-repeat bottom;
}

.menu_top li a:visited, .menu_top li a:active, {
   color: #603;
   font-weight: bold;
}

.menu_top li.short a {
   width: 122px
}

.menu_top li.active, .menu_top li.active_short {
   color: #603;
   background: #fff;
   font-weight: bold;
   margin: 6px 1px 0px 2px;
   background: url('images/button31_145x18.gif') no-repeat bottom;
   display: block;
   text-align: center;
   padding: 2px;
   padding-top: 2px;
   height: 20px;
   width: 145px;
}

.menu_top li.active_short {
   width: 122px;
}

/* End of menu definition */ /************************ */

/* Table with organizers */

table.people{
   margin-left: 30px;
}

td.def{
   font-size: 90%;
   padding: 2px 10px 0px 10px;
}

td.name{
   padding: 10px 0px 0px 0px;
   font-weight: bold;
   font-size: 100%;
}

.col2{
   margin: 0px 0px 0px 70px;
}

/* Table with schedule for schedule.html*/
/*****************************/ /*     Table definition      */

.date {
   font-style: italic;
   text-align: center;
   width: 80px;
}

.paper {
   width: 80ex;
}

table.schedule {
   border-width: 2px 0px 0px 0px;      /* top, right, bottom, left */
   border-spacing: 0px 0px;
   border-style: double double double double;
   border-color: black black black black;
   border-collapse: collapse;
   background-color: white;
   font-size: .85em;
}

.schedule tr {
   vertical-align: middle;
}

.schedule th {
   vertical-align: baseline;
   border-width: 0px 0px 2px 0px;
   padding: 5px 5px 5px 5px;
   border-style: outset outset outset outset;
   border-color: white white blue white;
   background-color: white;
   -moz-border-radius: 0px 0px 0px 0px;
}

.schedule td {
   border-width: 0px 0px 1px 0px;
   padding: 8px 13px 8px 13px;
   border-style: outset outset outset outset;
   border-color: white black grey white;
   background-color: white;
}

.schedule a:link {
    font-weight: normal;
    color: #0033FF;
    text-decoration: none;
}

.schedule a:visited {
    font-weight: normal;
    color: #0033FF;
    text-decoration: none
}

.schedule a:active {
    font-weight: normal;
    color: #0033FF;
}

.schedule a:hover {
    font-weight: normal;
    color: navy;
    text-decoration : none;
}


/* links other than from menu */

A:link {
    FONT-WEIGHT: normal;
    COLOR: #0033FF;
    TEXT-DECORATION: none;
}

A:visited {
    FONT-WEIGHT: normal;
    COLOR: #0033FF;
    TEXT-DECORATION: none
}

A:active {
    FONT-WEIGHT: normal; COLOR: #0033FF;
}

A:hover {
    FONT-WEIGHT: normal; COLOR: #000080;
    text-decoration : none;
}