/*
************************************************************
*/
h1 {
  display: block;
  width: 80%;
  margin-top: 10px;
  margin-left: 10%;
  padding: 10px;
  font-size: 72px;
  border-top: 5px solid grey;
  border-bottom: 5px solid grey;
  text-align: center;
}
/*
************************************************************
*/
div.TabOn {
  display: block;
  width: 80%;
  height: 400px;
  margin-top: 0px;
  margin-left: 10%;
  padding: 10px;
  font-size: x-large;
  border-top: 1px solid grey;
}
div.TabOff {
  display: none;
}
/*
************************************************************
*/
div.Tab {
  display: none;
}
/*
************************************************************
*/
/*
************************************************************
*/
div.NavBar {
  width: 80%;
  margin-left: 10%;
  padding-left: 10px;
  padding-top: 14px;
  font-size: x-large;
  padding-bottom: 0px;
  margin-bottom: 0px;
  margin-top: 15px;
  border-top: 5px solid grey;
  border-top: none;
  text-align: center;
}
div.NavTabLabel {
  display: block;
  padding-left: 8px;
  padding-right: 8px;
  text-align: center;
}
div.NavTabDownPointer {
  display: block;
  text-align: center;
  padding-bottom: 0px;
  margin-bottom: 0px;
}
/*
************************************************************
*/
div.NavTabName {
  display: inline-block;
  padding-left: 8px;
  padding-right: 8px;
  margin: 0px;
  border-top: 2px solid white;
  border-bottom: 2px solid white;
  color: #880000;
}
div.NavTabName div.NavTabDownPointer {
  color: white;  
}
/*
************************************************************
*/
div.NavTabStackOn {
  display: inline-block;
  padding-left: 8px;
  padding-right: 8px;
  margin: 0px;
  border-top: 2px solid white;
  border-bottom: 2px solid white;
  color: black;
}
/*
************************************************************
*/
div.NavTabStackOff {
  display: inline-block;
  padding-left: 8px;
  padding-right: 8px;
  margin: 0px;
  border-top: 2px solid white;
  border-bottom: 2px solid white;
  color: grey;
}
div.NavTabStackOff div.NavTabDownPointer {
  color: white;  
}
div.NavTabStackOff:hover div.NavTabDownPointer {
  color: grey;
}
/*
************************************************************
*/
span.Title {
  display: none;
}
/*
************************************************************
*/
img.Left {
  float: left;
  margin: 10px 10px 10px 10px;
}
div.Language em {
  font-weight: bold;
  color: #c80000;
}
/*
************************************************************
*/
div#LanguageNav {
  display: inline-block;
  color: #c80000;
  font-size: medium;
  width: 20%;
}
div#LanguageBody {
  display: inline-block;
  width: 80%;
}
div.LanguageOff {
  display: none;
}
div.LanguageOn {
  display: none;
}
div.LanguageNavOff {
  display: block;
  color: grey;
}
div.LanguageNavOn {
  display: block;
  color: black;
}
/*
************************************************************
*/
div.Half {
    display: inline-block;
    margin-left: 2%;
    margin-right: 2%;
    /* border: 1px solid #c80000; */
    width: 40%;
    padding: 3px;
}
div.Half h2 {
    font-size: 20px;
}
span.SmallInfo {
    display: block;
    font-size: small;
}
/*
************************************************************
*/
a.Link {
    text-decoration: none;
    color: darkgreen;
}
a.Link:hover {
    color: red;
}
a.Link:visited {
    text-decoration: none;
}
a.Link:active {
    text-decoration: none;
}
/*
td:hover {
    background-color: #ffffe8;
}
*/

/*
************************************************************
*/
li.publication author {
  color: darkblue;
}
li.publication year {
}
li.publication year::before {
  content: "(";
}
li.publication year::after {
  content: ")";
}
li.publication atitle {
  font-weight: bold;
}
li.publication journal {
  font-style: oblique;
}
li.publication proceedings {
  font-style: oblique;
}
li.publication venue {
  font-style: oblique;
}
li.publication abstract {
  display: none;
  font-style: oblique;
  font-size: small;  
}
li.publication abstract p {
  font-style: oblique;
  font-size: small;  
}
p term {
  font-weight: bold;
}
/*
li.publication year::before {
  font-weight: bold;
  font-size: small;
  content: "Abstract: ";
}
li.publication year {
  font-size: small;
}
*/

/*
************************************************************
*/

/*
************************************************************
*/
img.Mugs {
  display: inline-block;
  height: 256px;
}