body {
  font-size: 12pt;
  line-height: 1.5;
  font-family: Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  background-image: url(/static/images/shattered.png);
}

dt {
    font-weight: normal !important;
}

/* ===============  Navigation =============== */

.navbar {
  line-height: 1 !important;
}

.navbar-brand {
  font-family: 'Fira Sans Condensed', Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  font-weight: 700;
  font-style: normal;
  font-size: 25pt;
}

.navbar ul.navbar-nav li a i {
  margin-left: 0.35ex;
  vertical-align: bottom;
}

ul.navbar-nav li a {
  padding: 15pt 0 13pt 0;
  font-family: 'Fira Sans Condensed', Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  font-weight: 500;
  font-style: normal;
  font-size: 15pt;
}

@media screen and (max-width: 767px) {

  .navbar-brand {
    margin-top: 10pt;
    min-height: 202pt;
    min-width: 100%;
    text-align: left;
  }

  ul.navbar-nav {
    position: absolute;
    top: 40pt;
    left: 0;
    text-align: left;
    min-width: 100%;
    padding: 0;
    margin: 0 !important;
  }

  ul.navbar-nav li {
    padding: 0;
    margin: 0;
    width: 100%;
  }

  ul.navbar-nav li a {
    margin: 0;
    min-width: 100%;
  }

  div.content img.profile {
    display: none;
  }

  div.content img.mobile-profile {
    display: initial !important;
  }
}

/* ===============  Sidebar =============== */

ul.misc {
  list-style-type: none;
  padding: 5pt;
  margin: 0;
}

ul.misc li {
  line-height: 18pt;
  padding: 4pt;
}

ul.misc li a {
  vertical-align: bottom;
  font-family: 'Fira Sans Condensed', Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  font-weight: 500;
  font-style: normal;
  font-size: 120%;
}

ul.misc li a:hover {
  text-decoration: none;
}

ul.misc li a i {
  margin-right: 0.25ex;
}

/* =============== Grid =============== */

[class^="col-"], [class*=" col-"] {
  padding: 0;
}

/* =============== Content =============== */

div.content {
  text-align: justify;
  margin: 0;
  padding: 10pt;
}

div.content ul {
  text-align: left;
}

div.content :last-child {
  margin-bottom: 0 !important;
}


div.content h1 {
  font-size: 20pt;
  text-align: left;
  margin: 0;
}

div.content h1.note {
  margin: 0 0 22px 0;
}

div.content h2 {
  font-size: 15pt;
  text-align: left;
}

div.content h2.publication {
  margin: 10pt 0 4pt 0;
}

div.content h3 {
  font-size: 16pt;
  text-align: left;
}

h1#welcome,
#an-error-occurred h2
{
  margin-bottom: 5pt;
}

div.content a {
  text-decoration: underline;
}

code,
pre {
  border: 0;
  font-family: 'Inconsolata', monospace, serif;
  -webkit-border-radius: 0px;
     -moz-border-radius: 0px;
          border-radius: 0px;
  counter-reset: line-numbering;
  white-space: pre-wrap;
  overflow-x: auto;
  word-break: keep-all;
  word-wrap: inherit;
  font-size: 12pt;
  line-height: 15pt;
  text-align: left !important;
  margin: 0;
}

pre {
  padding: 5pt !important;
  overflow-x: auto;
  display: block;
}

pre {
  margin-bottom: 10pt;
}

figure pre {
  margin-bottom: 0;
}

div.highlight {
  margin-bottom: 10pt;
}

div.chroma table.lntable tbody tr td.lntd:first-child pre.chroma {
  padding-right: 0 !important;
}

div.chroma table.lntable tbody tr td.lntd:last-child pre.chroma {
  padding-left: 0 !important;
}

span.lnt {
  padding: 0 !important;
  margin-right: 5pt;
}

div.highlight {
  text-align: right;
}

div.content figure figcaption {
  display: table-caption;
  caption-side: top;
  text-align: right;
  font-size: small;
}

div.content figure {
  min-width: 100%;
  text-align: center;
  display: table;
}

div.content figure.left {
  text-align: left;
}

div.content figure.right {
  text-align: right ;
}

img {
  max-width: 100%;
  height: auto;
}

div.content img.profile {
  min-width: initial;
  float: right;
  max-width: 230px;
  margin: 0.25em 0 1.25em 1.25em;
}

div.content img.mobile-profile {
  display: none;
}

/* ===============  Notes / Publications =============== */

h1 {
  padding-top: 15pt;
}

h1:first-of-type {
  padding-top: 0;
}

div.content ul.notes,
div.content ul.publications {
  list-style-type: none;
  margin-left: -10pt;
  margin-right: -10pt;
  padding: 0;
  font-size: 12pt !important;
}

div.content ul.notes a,
div.content ul.publications a {
    text-decoration: none;
}

ul.notes li,
ul.publications li {
  padding: 8pt 12pt;
  border: 0;
}

ul.notes li:first-child {
 padding-top: 0;
}

ul.notes li:last-child,
ul.publications li:last-child {
 padding-bottom: 0;
}

ul.notes li a {
  text-decoration: none;
}

ul.notes li span.date {
  float: right;
  font-size: 11pt;
  line-height: 20pt;
  vertical-align: bottom;
}

ul.notes li p {
  clear: both;
  margin: 0;
}

ul.notes li a h1 {
  font-size: 15pt;
  line-height: 20pt;
  margin-bottom: 3pt;
  float: left;
}

div.footnotes {
  font-size: 90%;
}

h1.publication a {
  text-decoration: none;
}

ul.publications li h2 {
  font-size: 17pt !important;
  margin: 0 !important;
}

div.meta {
  padding: 0.2em 0;
}

div.meta span {
  display: block;
  clear: both;
}

div.icons {
  margin-top: 7pt;
  font-size: 150%;
}

div.icons a {
  text-decoration: none;
}

div[id*="bibtex-"] {
  margin-top: 7pt;
  padding: 0;
}

div[id*="bibtex-"] pre {
  margin: 0;
}

div.details-icons {
  font-size: 36pt;
  margin: 10pt 0 15pt 0;
  padding: 0;
}

div.details-icons a {
  text-decoration: none;
}

img.bibtex-logo {
  height: 20pt;
  margin-top: 14pt;
}

/* ===============  General =============== */

.sidebar-publications .label-default {
  margin: 0.25em;
}

.h-next {
  margin-bottom: 2px;
}

.h-prev {
  margin-top: -17px;
  margin-bottom: 22px;
}

.authors, .venue {
  text-align: left;
  display: block;
}

author, date {
  white-space: nowrap;
}

.align-right {
  float: right;
  margin: 0 0 1em 1.5em;
}

blockquote {
  font-size: inherit !important;
}

address {
  margin-bottom: 0 !important;
  font-size: 95%;
}

p:empty {
  display:none;
}

[class^="im-"], [class*=" im-"] {
  display: inline-block;
}

.icon-sm {
  font-size: .875em;
}

.icon-lg {
  font-size: 1.33333em;
  line-height: .75em;
  vertical-align: -.0667em;
}

.icon-fw {
  text-align: center;
  width: 1.25em;
}

/* collapse */
.collapse {
  display: block;
  max-height: 0px;
  overflow: hidden;
  transition: max-height 0.5s cubic-bezier(0, 1, 0, 1);
}

.collapse.show {
  max-height: 99em;
  transition: max-height .5s ease-in-out;
}

div.single ul {
  padding-left: 0;
  list-style-type: square;
  list-style-position: inside;
  line-height: 1.5;
}

div.single h1 {
  padding-left: 10pt;
  margin-left: -10pt;
  padding-right: 10pt;
  margin-right: -10pt;
  margin-bottom: 10pt;
}

div.single h2 {
  font-size: 15pt !important;
}

div.single h1:first-of-type {
  padding-top: 0;
}

@font-face {
  font-family: 'Fira Sans Condensed';
  font-style: normal;
  font-weight: 500;
  src: url('/static/fonts/fira-sans-condensed-v9-latin-500.eot'); /* IE9 Compat Modes */
  src: local(''),
       url('/static/fonts/fira-sans-condensed-v9-latin-500.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('/static/fonts/fira-sans-condensed-v9-latin-500.woff2') format('woff2'), /* Super Modern Browsers */
       url('/static/fonts/fira-sans-condensed-v9-latin-500.woff') format('woff'), /* Modern Browsers */
       url('/static/fonts/fira-sans-condensed-v9-latin-500.ttf') format('truetype'), /* Safari, Android, iOS */
       url('/static/fonts/fira-sans-condensed-v9-latin-500.svg#FiraSansCondensed') format('svg'); /* Legacy iOS */
}

@font-face {
  font-family: 'Fira Sans Condensed';
  font-style: normal;
  font-weight: 700;
  src: url('/static/fonts/fira-sans-condensed-v9-latin-700.eot'); /* IE9 Compat Modes */
  src: local(''),
       url('/static/fonts/fira-sans-condensed-v9-latin-700.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('/static/fonts/fira-sans-condensed-v9-latin-700.woff2') format('woff2'), /* Super Modern Browsers */
       url('/static/fonts/fira-sans-condensed-v9-latin-700.woff') format('woff'), /* Modern Browsers */
       url('/static/fonts/fira-sans-condensed-v9-latin-700.ttf') format('truetype'), /* Safari, Android, iOS */
       url('/static/fonts/fira-sans-condensed-v9-latin-700.svg#FiraSansCondensed') format('svg'); /* Legacy iOS */
}