@import url("../../2005/10/w3cdoc.css");

.baseline {
  font-size:0.8em;
}

p.firstelement, table, address { margin-top: 0.7em; }

/* from TPAC 2007 */
.toc {border-bottom: 1px solid #E2EDFE;
   margin:1em 0 0 1em;}
.toc ul, .toc li, .toc p {
    font-size: .95em;
    margin: 0 0 0 0; 
    padding: 0;
    display: inline;
    text-align: left;}

dl { padding-left:1em;}
dt {
   font-weight: bold;
   padding-bottom:0.5em;}
dd {
   margin-left:1em;
   padding-bottom:0.5em;
}
ul li {
  padding-bottom:0.2em;
}

/* right menu for navigation; redefining original to float right
   and let us put the menu first
*/
ul#Navigate {
     float:right;
     width:100%;
     border-left: 1px solid gray;
     border-right: none;
 }

ul#Navigate li a
{
	color: #00e;
}



.link {
font-size: 0.8em;
 }

p.description {
border: thin #ccc solid;
background-color: #c8e3ea;
font-size: 0.9em;
padding: 0.5em; }

img.photo {
border: thin #ccc solid;
float:left;
margin:0em 1em 1em 1em }


/* Style for W3C UWA pages
 *
 * Copyright  2007 W3C ® (MIT, ERCIM, Keio). All Rights Reserved.
 * See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
 *
 * Author: W3C Team
 * Started: March 2007
 */

body {
  margin-top: 0;
  margin-left: 0;
  padding-top: 0;
  padding-left: 0;
  font-family: "Trebuchet MS", sans-serif;
  font-size: 100%;
  color: black;
  background-color: white;
}
a img { border-width: 0 }
.leader { font-style: italic }
p.hnavmenu {
  text-align: center; font-size: smaller;
  padding: 2px; background-color: rgb(245,245,245);
  border-top: solid #EEE 1px;
  border-bottom: solid #EEE 1px;
 }

#masthead img {
  vertical-align: top;
  margin-left: 10px;
}
#masthead span {
  position: relative;
  top: 12px;
  font-family: "Arial Narrow", sans-serif;
  font-weight: bold;
  font-size: 16pt;
  color: #039;
  padding-left: 0.1em;
}
#masthead h1 {
text-align:center;
margin-bottom:10px;
}
#tagline {
  height: 1px;
  width: 100%;
  margin: 0;
  padding: 0;
 
  border-bottom: solid 1px #039;
}
#nav {
  position: absolute;
  width: 12em;
  top: 220px;
  right: 0.5em;
  padding-left: 0.5em;
  padding-bottom: 0.5em;
  color: #036;
  background-color: rgb(240,240,255);
  border: solid 1px #036;
  font-size: 88%;
  z-index: 10;
}
#nav h2, #nav h3 {
  font-weight: bold;
  font-size: 110%;
  padding: 0;
  margin-top: 0.5em;
  margin-bottom: 0.2em;
}
#nav p {
  padding: 0;
  margin: 0;
  margin-left: 0.2em;
}

#nav ul {
  list-style: none;
  margin-top: 0;
  margin-left: 0;
  padding: 0;
}
#nav li {
  margin-left: 0;
  padding-left: 0;
}
#barside
{
width:58px;
float:left;
margin-top:5px;
margin-right:15px;
margin-left:30px;
}


a { text-decoration: none; color: #036; }
a:focus { text-decoration: underline; color: #036; }
a:hover { text-decoration: underline; color: #036; }
#main {

  padding-right: 13em;
  padding-left: 2em;
  padding-bottom: 2em;
  margin-left:78px;
}
#main h1, #main h2, #main h3 { color: #039 }
#main h1 { font-size: 150% }
#main h2 { font-size: 130% }
#main h3 { font-size: 110% }
ul { padding-left: 2em; }

#main h2 a { color: #039 }

p.intro { font-style: italic; font-size: 100%; color: #063 }
p.italic { font-style: italic; font-size: 100%; }
#date { font-size: smaller; margin: 0; padding: 0 }
#rss { vertical-align: baseline }
#news ul { margin-bottom: 0 }


div.newsentry h3:before {
 content: "* ";
 color: #005a9c;
 margin-left: 1em;
 margin-top: 0.3em;
 margin-bottom: 0;
 padding: 0;
}
div.newsentry p { 
 margin-left: 3em;
 padding: 0;
 margin-top: 0.1em;
 margin-bottom: 0.1em;
}

div.newsentry {
  margin: 0;
  padding: 0;
}
.linkRSS {
  float: right; margin-right: 2em;
  padding-left: 20px;
  background: url(rss.gif) no-repeat left center;
 }
p.newsnav { margin-left: 1em; }
dt { margin-left: 1em; }
dd { margin-left: 2em; }
dl.papers dt { font-weight: bold; margin-top: 1em }
dl.papers dd { margin-top: 0.3em }

div.footer {
  
  width: 100%;
  border-top: solid 1px #063;
  margin-left:40px;
  background-color: rgb(240,240,255);
}




#xhtmlok { float: right; margin-right: 1em; }

.highlight { background-color: yellow;
   padding-left: 0.5em; padding-right: 0.5em; width: auto }
.float-left {
  float: left;
  margin-right: 10px;
}

.del {
  text-decoration: line-through;
}