/* Make nav pills/tabs stack on small screens
-------------------------------------------------- */

.nav-tabs > li, .nav-pills > li {
  float: none;
  display: inline-block;
  *display: inline; /* ie7 fix */
  zoom: 1; /* hasLayout ie7 trigger */
}

.nav-tabs > li > a, .nav-pills > li > a {
  margin: 3px;
  padding: 6px 10px 6px 10px;
}
.nav-tabs, .nav-pills {
  text-align: center;
}
@media (max-width: 480px) {
  .nav-tabs > li, .nav-pills > li {
    display: block;
  }
}

/* Fixed header
-------------------------------------------------- */

@media screen and (min-width: 481px) {
  #masthead {
    position: fixed;
    right: 0;
    left: 0;
    z-index: 1030;
    top: 0;
    background: white;
    height: 106px;
  }

  body {
    padding-top: 140px;
  }
}  /* media */

@media screen and (max-width: 480px) {
  #masthead {
    margin-bottom: 10px;
  }
}

/* Theme
-------------------------------------------------- */

html {
  overflow-y: scroll;
}

.masthead-plain {
  border-bottom: dotted 1px #0860a8;
}
.masthead-shadow {
  border-bottom: solid 1px #0860a8;
  box-shadow: 0 1px 10px rgba(0, 0, 0, 0.3);
}

body {
  font-family: "Open Sans", Arial;
}

h1 {
  color: #ffffff;
  /*font-family: 'Merriweather', Arial;*/
  /*font-family: 'Lobster', Arial;*/
  font-family: 'Milonga', Arial;
  font-size: 350%;
  background: #0860a8;
  padding-bottom: .13em;
  padding-top: .15em;
  text-align: center;
  margin-top: 0;
  margin-bottom: 0;
  font-weight: normal;
}
@media screen and (max-width: 480px) {
  h1 {
    font-size: 225%;
  }
}

.lead {
  color: #fb6b00;
  border-bottom: none; /* IE8 */
  /*font-weight: bold;*/
  font-size: 24.5px;
}

.highlight {
  background-color: yellow;
}

.nav-pills > .active > a,
.nav-pills > .active > a:focus,
.nav-pills > .active > a:hover {
  background-color: #0860a8;
}

.year {
  padding-top: 5px;
  padding-bottom: 10px;
}
.year .badge, .year .label-myinverse {
  margin-top: 10px;
  margin-bottom: 15px;
  display: inline-block;
  background: #000000;
  font-size: 95%;
  /*
  background: #AAAAAA;
  background-image: -webkit-linear-gradient(top,#a3a3a3 0,#222 100%);
  background-image: linear-gradient(to bottom,#a3a3a3 0,#222 100%);
  background-repeat: repeat-x;
  border-color: #000000;
  */
}

ul.pubs {
  margin-left: 0;
  padding-left: 0;
  font-size: 95%;
}

ul.pubs li {
  list-style: none;
  text-indent: -3em;
  padding-left: 3em;
  margin-bottom: 1em;
}

ul.pubs span.title {
  font-weight: 600;
  font-size: 110%;
}

ul.pubs span.authors {
  text-indent: 0;
  display: block;
  font-variant: small-caps;
}

ul.pubs span.conf {
  text-indent: 0;
  display: block;
}

ul.pubs span.conf a:link { color: black; }
ul.pubs span.conf a:visited { color: black; }
ul.pubs span.conf a {
  text-decoration: none;
  border-bottom: 1px dotted;
}

ul.pubs span.links {
  margin-top: 2px;
  font-size: 85%;
  text-indent: 0em;
  display: block;
}

ul.pubs span.best {
  color: rgb(220,0,0);
  font-weight: bold;
  margin-left: 1em;
}
