/* Basis style */
body {
  text-align: center;
  font-family: Georgia, "Times New Roman", Times, serif;
  color: rgb(51, 51, 51);
  background-color: #000000;
  link: #333333;
  alink: #333333;
  vlink: #000000
}

/* A single block */
div#container{
  width: 800px; 
  margin: 0;  
  padding: 0;
  text-align: left; 
  background-color: #cdcdcd; 
  border: 0px solid black;
}

/* A text block */
div#textbox{
  margin: 1.5em 1em 1.5em 1em;
  padding: 0;
  text-align: left
  background: transparent
  border: 0px solid black;
}

/* The header */
div#header{
  height: 131px;
  margin: 0;
  padding: 0;
  font-size: 0%;
  background: #000000;
  color: #000000
}

/* The bottom bar */
div#tail{
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  margin: 0;
  text-transform: uppercase;
  line-height: 1.4;
  font-size: 70%;
  font-weight: bold;
  text-decoration: none;
  padding-top: 3px;
  padding-right: 1em;
  background: #a0a0a0;
  text-align: right;
  color: #FFFFFF
}

div#tail a {
  text-decoration: none;
  color: #FFFFFF;
}

/* A black line */
div#skip{
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  font-size: 0%;
  height: 3px;
  width: 800px;
  margin: 0px;
  padding: 0px;
  border: 0px solid black;
  background: #000000;
  color: #000000
}

/* A blank line */
div#space{
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  font-size: 0%;
  height: 2px;
  width: 800px;
  margin: 0px;
  padding: 0px;
  border: 0px solid black;
  background: #a0a0a0;
  color: #000000
}


/* h1 Type font */
h1 {
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  color: #333333;
  font-size: 128%;
  text-decoration: none;  
}


/* Menu Stuff */
.menu{
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  line-height: 1.4;
  font-size: 85%;
  background: #a0a0a0;
  text-align: left;
  margin: 0px;
  padding: 0px;
  width: 800px;
  height: 1.39em;
  position: relative;
  color: #FFFFFF
}

.menu lu {
  list-style: none;
  white-space: nowarp;
  padding: 0px;
  margin: 0px;
}


.menu li {
  float: left;
}

.menu li a {
  padding-left: 2em;
  padding-right: 2em;
  font-weight: bold;
  text-decoration: none;
  color: #FFFFFF
}

.menu li a:hover {
  background: #7d7d7d;
  cursor: pointer
}


/* News Stuff */
.news{
  line-height: 1.5;
  font-family: Georgia, "Times New Roman", Times, serif;
  color: rgb(51, 51, 51);
  text-align: left;
  padding: 0 0 0 0;
  margin: 0px;
  border: 0px solid black;
}

.news td.date {
  font-weight: bold;
  text-decoration: none;
  color: rgb(51,51,51);
  font-size: 75%;
  padding: 0 1em 0 1em;
  white-space: nowarp;
}   

.news td.message {
  font-weight: none;
  font-style: italic;
  text-decoration: none;
  color: rgb(51, 51, 51);
  font-size: 95%;
  padding: 0.3em 1em 0.3em 1em;
}


/* Publication style */
.publications {
  width: 700px;
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  color: rgb(51, 51, 51);
  text-align: justify;
  margin-left: 1em;
  margin-top: 2em;
  margin-bottom: 2em;
  margin-right: 0em;
  padding: 0px;
  border: 0px solid black;
}

.publications li.entry { 
  margin-left: 1em;
  margin-top: 1.25em;
  margin-right: 1em;
  margin-bottom: 0.0em;
}

.publications span.pubnote {
  font-weight: bold;
  font-style: italic;
}

.publications span.year {
  font-style: none;
  font-weight: none;
  text-decoration: none;
  font-size: 95%;
}

.publications span.pages {
  font-style: none;
  font-weight: none;
  text-decoration: none;
  font-size: 95%;
}

.publications span.venue {
  font-style: none;
  font-weight: none;
  font-decoration: none;
  font-size: 95%;
}

.publications span.yearTitle {
  font-style: italic;
  font-weight: none;
  text-decoration: none;
  font-size: 125%;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

.publications span.typeTitle {
  font-style: italic;
  font-weight: bold;
  text-decoration: none;
  font-size: 110%;
  line-height: 130%;
}

.publications span.authors {
  font-style: none;
  font-weight: none;
  font-decoration: none;
  font-size: 100%;
}

.publications span.me {
  font-style: none;
  font-weight: bold;
  font-decoration: none;
  font-size: 100%;
}


.publications span.title {
  margin-left: 0.2em;
  margin-right: 0.2em;
  font-style: italic;
  font-weight: none;
  font-decoration: none;
  font-size: 100%;
}


.publications span.title a {
  color: rgb(51, 51, 51);
}  


.publications span.booktitle {
  font-style: none;
  font-weight: none;
  font-decoration: none;
  font-size: 95%;
}


.publications img.imagelink {
  border: 0px #333333 solid; 
  height: 22px;  
  vertical-align: middle;
}

.publications div#seperator {
  height: 2em;
}

.bibstyle { 
  margin-left: 1em;
  margin-right: 1em;
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-bottom: 0.5em;
  padding-top: 0.5em;
  font-size: 70%;
  background: #FFFFFF;
  color: #000000;
  font-family: Monospace, "Lucida Console", Arial, sans-serif;
  border: 1px black solid;
  text-align: left;

}


/* Paper page stuff */
.publication {
  width: 700px;
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  color: rgb(51, 51, 51);
  text-align: center;
  margin-left: 50px;
  margin-top: 2em;
  margin-bottom: 2em;
  margin-right: 50px;
  padding: 0px;
  border: 0px solid black;
}

.publication span.title {  
  font-style: italic;
  font-weight: bold;
  text-decoration: none;
  font-size: 200%;
  padding: 0.5em;
}

.publication span.authors { 
  font-style: none;
  font-weight: none;
  text-decoration: none;
  font-size: 100%;
}

.publication span.abstract { 
  text-align: justify;
  display: inline-block;
}

.publication span.subtitle { 
  font-weight: bold;
  font-size: 110%;
  text-align: left;
  display: block;
}

.publication img.teaser { 
  horizontal-align: center;
  width: 600px;
  padding: 30px;
}

.publication li.file { 
  text-align: left;
}

.publication li.file a { 
  color: rgb(51,51,51);
}

.publication li.paper { 
  text-align: left;
}

.publication li.paper a { 
  color: rgb(51,51,51);
}

.publication li.url { 
  text-align: left;
}

.publication li.url a { 
  color: rgb(51,51,51);
}

.publication li.note { 
  text-align: justify;
  margin-top: 0.75em;
  margin-bottom: 0.75em;
}

.publication img.imagelink { 
  border: 0px #333333 solid; 
  height: 32px;
  vertical-align: middle;  
  float: right;
}


/* Cross link style */
.publication .cross {
  width: 700px;
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  color: rgb(51, 51, 51);
  text-align: justify;
  padding: 0px;
  float: none;
  border: 0px solid black;
}

.publication .cross li.entry { 
  margin-left: 0em;
  margin-top: 0.0em;
  margin-right: 0.0em;
  margin-bottom: 0.0em;
}

.publication .cross span.year {
  font-style: none;
  font-weight: none;
  text-decoration: none;
  font-size: 95%;
}

.publication .cross span.pages {
  font-style: none;
  font-weight: none;
  text-decoration: none;
  font-size: 95%;
}

.publication .cross span.venue {
  font-style: none;
  font-weight: none;
  font-decoration: none;
  font-size: 95%;
}

.publication .cross span.authors {
  font-style: none;
  font-weight: none;
  font-decoration: none;
  font-size: 100%;
}

.publication .cross span.me {
  font-style: none;
  font-weight: bold;
  font-decoration: none;
  font-size: 100%;
}


.publication .cross span.title {
  margin-left: 0.0em;
  margin-right: 0.0em;
  font-style: italic;
  font-weight: none;
  font-decoration: none;
  font-size: 100%;
}


.publication .cross span.title a {
  color: rgb(51, 51, 51);
}  


.publication .cross span.booktitle {
  font-style: none;
  font-weight: none;
  font-decoration: none;
  font-size: 95%;
}


.publication .cross img.imagelink {
  border: 0px #333333 solid; 
  height: 22px;  
  vertical-align: middle;
  float: none;
}

.publication .cross div#seperator {
  height: 1em;
}


/* publications navigation bar */
.publicationNav{
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  line-height: 1.4;
  font-size: 80%;
  background: #b0b0b0;
  text-align: left;
  margin: 0px;
  padding: 0px;
  padding-top: 2px;
  padding-bottom: 2px;
  width: 800px;
  height: 1.39em;
  position: relative;
  color: #FFFFFF
}

.publicationNav .jump lu {
  list-style: none;
  white-space: nowarp;
  padding: 0px;
  margin: 0px;
}

.publicationNav .jump span.text { 
  float: left;
  margin-left: 3em;
  margin-right: 1em;
  font-weight: none;
}

.publicationNav .jump li {
  float: left;
}

.publicationNav .jump li a {
  padding-left: 1em;
  padding-right: 1em;
  font-weight: bold;
  text-decoration: none;
  color: #FFFFFF;
}

.publicationNav .jump li a:hover {
  background: #7d7d7d;
  cursor: pointer;
}

.publicationNav .sort lu {
  list-style: none;
  white-space: nowarp;
  padding: 0px;
  margin: 0px;
}

.publicationNav .sort span.text { 
  float: left;
  margin-left: 3em;
  margin-right: 1em;
  font-weight: none;
}

.publicationNav .sort li.selected a {
  margin-left: 1em;
  margin-right: 1em;
  padding-left: .75em;
  padding-right: .75em;
  font-weight: none;
  text-decoration: none;
  color: #000000;
  background: #ffffff;
  float: left;
}

.publicationNav .sort li.unselected a {
  padding-left: 1em;
  padding-right: 1em;
  font-weight: bold;
  text-decoration: none;
  color: #ffffff;
  float: left;
}

.publicationNav .sort li.unselected a:hover {
  background: #7d7d7d;
  cursor: pointer;
}

.publicationNav .sort li.unselected {
  float: left;
}