body {
  max-width: 100ch;
  font-size: 20px;
  padding-top: 6ex;
}

.navbar {
  max-width: 120ch;
  margin: 0 auto;
  padding-bottom: 4ex;
}


.nav {
  padding-top: 3ex;
}

.navbar-right {
  padding-right: 1em;
}

.nav > li > a {
  position: relative;
  display: block;
  padding: 5px 5px;
}

.post-header {
  padding-top: 6ex;
}

.navbar-toggle .icon-bar {
  display: block;
  width: 22px;
  height: 2px;
  background-color: #011731;
  border-radius: 1px;
}

a,
a:visited {
  color: #002A5C;
}

.mono_link {
  font-family: monospace, monospace;
}

nav li:before {
  content: "";
  counter-increment: none;
  padding-right: 0rem;
}

.nav li {
    vertical-align: -1ex;
}

.navbar {
  background-color: #f8f8f8;
  border-color: #002A5C;
}

.hr-foot {
  border-top: 5px solid #002A5C;
}

.pub-text {
  text-align: left;
  line-height: 1.1;
  margin-top: 0;
}

.pub-abstract-link {
  text-align:left;
}

.pub-links {
  float:right;
  margin-bottom: 2ex;
}

.pub-image {
  max-height: 25ex;
  height: auto;
  max-width: 100%;
  width: auto;
}

.pub-abstract {
  text-align: left;
  line-height: 1.1;
  text-indent: 1em;
  font-size: 18px;
  margin-top: 1ex;
  padding-left: 0;
}

.chi_latex {
  font-size: 1.1em;
}

.latex {
text-transform: none;
}

.latex span:nth-child(1) {
    text-transform: none;
    font-size: 2em;
    vertical-align: 0em;
    margin-left: 0em;
    margin-right: -0.1em;
    line-height: 1ex;
}

.latex span:nth-child(2) {
    text-transform: none;
    vertical-align: .3em;
    margin-left: -.4em;
    margin-right: -0.2em;
    line-height: 1ex;
}

.latex span:nth-child(3) {
    text-transform: none;
    vertical-align: 1.5ex;
    margin-left: -.1em;
    margin-right: 0em;
    line-height: 1ex;
}

.latex span:nth-child(4) {
    text-transform: none;
    vertical-align: 2.6ex;
    margin-left: -.4em;
    font-size: 2rem;
    line-height: 1ex;
}

.latex span:nth-child(5) {
    text-transform: none;
    vertical-align: 1.5ex;
    margin-left: -.3em;
    line-height: 1ex;
}

.latex span:nth-child(6) {
    text-transform: none;
    vertical-align: -.5ex;
    margin-left: -3em;
    margin-right: 0;
    line-height: 1ex;
}