/* 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 {
  background-image: url(uwa-bg.jpg);
  background-repeat: no-repeat;
  background-position: 72px 0px;
  background-color: #1140A0;
  height: 48px;
  width: 100%;
  margin: 0;
  padding: 0;
  overflow: hidden;
}
#masthead img {
  vertical-align: top;
}
#masthead span {
  position: relative;
  top: 12px;
  font-family: "Arial Narrow", sans-serif;
  font-weight: bold;
  font-size: 16pt;
  color: #039;
  padding-left: 0.1em;
}

#tagline {
  height: 10px;
  width: 100%;
  margin: 0;
  padding: 0;
  background-color: rgb(240,240,255);
  border-bottom: solid 1px #039;
}
#nav {
  position: absolute;
  width: 12em;
  top: 80px;
  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;
}

a { text-decoration: none; color: #036; }
a:focus { text-decoration: underline; color: #036; }
a:hover { text-decoration: underline; color: #036; }
#main {
  position: absolute;
  padding-right: 13em;
  padding-left: 2em;
  padding-bottom: 2em;
}
#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 }
#docs { clear: both }

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;
}

div.newsentry img.left {
  float:left;
  width:200px;
  margin-right:10px
}

div.newsentry p.clear {
  clear:both
}

div.newsentry ul {
  margin-left: 1em;
}

div.newsentry ul li {
  margin-left: 1em;
}

.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 {
  display: none;
  bottom: 0;
  z-index: 20;
  width: 100%;
  border-top: solid 1px #063;
  background-color: rgb(240,240,255);
  padding-top: 0.1em;
  padding-left: 1em;
}

div[class=footer] {
  display: block;
  position: fixed;
}

#footer address { margin: 0; padding: 0 }
#footer p { margin: 0; padding: 0 }
#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;
}
.clear-left {
  clear: left;
}
.del {
  text-decoration: line-through;
}