body { background: #fefefe;
       margin-left: 25px; margin-right: 25px;
       margin-top: 25px; margin-bottom: 25px;
}


h3, h4, h5, p, table, th, td, div, ul, ol { font-family: Helvetica, sans-serif, "Times New Roman", serif;
                                   margin-left: 50px; color: #101080}

ul { margin-left: 70px; }

h1, h2 {font-family: "Courier New", Helvetica, sans-serif, "Garamond", "Times New Roman", serif; 
        color: #101080;}


h1 { margin-left: 3px; font-size: 150%; }
h2 { margin-left: 25px; font-size: 130%; }

p.text { text-indent: 0em; margin-top: 0.5em; margin-bottom: 0.5em;
         text-align: left; }

p.info { text-indent: 0em; margin-left: 8em; margin-top: 0.5em; margin-bottom: 0.5em;
         text-align: left; font-family: monospace;}
em { font-weight:normal; font-style: italic; }
em.small { font-weight:normal; font-style: italic; font-size: 80%;}

strong { font-weight: bold; font-style: normal; }
strong.very { font-weight: bold; font-style: normal; color: #d00; }
span.selected { text-decoration: underline; }

/* used for the information in the confirmation */
td.confinfo { font-weight: bold; }

div.email { font-family: monospace;}
em.password { color: #f00; }

table.participants { border-style: inset; border-width: thin;
                     width: 90%; }
table.participants tr.headingrow { background: #77f; }
table.participants tr.evenrow { background: #fff; }
table.participants tr.oddrow { background: #bbf; }
table.participants td { padding-left: 5px; padding-right: 5px; 
                        padding-top: 1px; padding-bottom: 1px; }
table.participants td.free { padding-left: 5px; padding-right: 5px; 
                             padding-top: 1px; padding-bottom: 1px;
			     background: #bbf;}
table.participants td.work { padding-left: 5px; padding-right: 5px; 
                             padding-top: 1px; padding-bottom: 1px;
                             background: #fff;}


table.inputtable {}

table.confirmation {}

table.downloads { border-style: none;
                     width: 60%; align: center;}

table.schedule { border-style: inset; border-width: thin;
                     width: 90%; align: center; }
table.schedule tr.day { background: #77f; }
table.schedule tr.talk { background: #fff; valign: top;}
table.schedule tr.coffee { background: #bbf; }
table.schedule td { padding-left: 5px; padding-right: 5px;
                    padding-top: 5px; padding-bottom: 10px; }
table.schedule th { padding-left: 5px; padding-right: 5px;
                    padding-top: 5px; padding-bottom: 5px; }

table.workgroups { border-style: inset; border-width: thin;
                     width: 90%; align: center; }
table.workgroups tr.main { background: #77f; }
table.workgroups tr.title { background: #fff; valign: top;}
table.workgroups td { padding-left: 5px; padding-right: 5px;
                    padding-top: 5px; padding-bottom: 5px; }
table.workgroups td.last { padding-left: 5px; padding-right: 5px;
                    padding-top: 5px; padding-bottom: 10px; }


/* #castle { border-style: solid; border-width: medium; } */

ul { list-style-type:disc; }
ul.speakerlist { list-style-image: url("images/9push.gif"); }
ul.structurelist { list-style-image: url("images/forward.gif"); }
ul.accolist { list-style-image: url("images/home.gif"); }
/* ul.oklist { list-style-image: url("images/ok.gif"); } */
ul.gotolist { list-style-image: url("images/goto.gif");
              margin-left: 1em;  }

q.title { font-style: italic; }

a:link { color: #a01010 ; text-decoration: none }  /* for unvisited links */
a:visited { color: #804040 ; text-decoration: none } /* for visited links */
a:active { color: #cc3333 } /* when link is clicked */
a:hover { color: #cc3333; text-decoration: underline } /* when mouse is over link */

small.cheat { color: #a01010 ;}

/* division for the display of error messages */
div.error { color: #0f0 ; font-size: 120%; font-family: "Courier New", monospace ;
            font-weight: bold; text-align: left;
	    margin: 1em 1em 1em 1em; padding: 1em 1em 1em 1em;  
            background: #000 ; 
	    border: thin solid #0f0 ; }
div.error a:link, div.banner a:visited { color: #f00; } 

div.logo { margin-top: 1em; margin-bottom: 1em; margin-left: 6px; text-align: center; }

div.endnote {color: #803070; font-size: 90%; font-style: italic; }


/* definition of menu banner */

div.banner {
   border: none;
   padding: 0.1em 0.3em;
   margin-left: 0px;
   text-align: center;
   font-weight: bold;
}

div.banner a:link, div.banner a:visited, div.banner {
   background: #037;
   color: #e6e6ff;
   text-decoration: none;
}

div.banner a.activebannerlink {
   color: #f55;
   text-decoration:none;
}


div.banner a:active {
   background: #e6e6ff;
   color: #900;
   text-decoration:none;
}

div.banner a:hover {
   background: #e6e6ff;
   color: #037;
   text-decoration:none;
}


/* definition of ``internal'' menu banner */

div.ibanner {
   border-left: none;
   border-bottom: none;
   border-right: none;
   border-top-style: solid; border-top-width: thin; border-top-color: #66f;
   padding: 0;
   margin-left: 0px;
   text-align: left;
   font-weight: normal;
   font-style: italic;
   background: #e6e6ff;
   color: #66f;
   text-decoration: none;
}

div.ibanner a:link, div.ibanner a:visited {
   background: #e6e6ff;
   color: #66f;
   text-decoration: none;
   padding-right: 5px;
   border-bottom-style:solid; border-bottom-width: thin;    
   border-bottom-color: #66f;
}

div.ibanner a.activebannerlink {
   border-style: solid; border-width: thin; border-color: #66f;
   background: #fff;
   color: #101080;
   text-decoration:none;
   padding-right: 5px;
}


div.ibanner a:active {
   background: #e6e6ff;
   color: #101080;
   text-decoration:none;
   padding-right: 5px;
   border-bottom-style:solid; border-bottom-width: thin;    
   border-bottom-color: #66f;
}

div.ibanner a:hover {
   border-style: solid; border-width: thin; border-color: #66f;
   background: #e6e6ff;
   color: #101080;
   text-decoration:none;
   padding-right: 5px;
}