/* "Minimal" theme by Steve Smith (orderedlist) — https://github.com/orderedlist/minimal
   Licensed under Creative Commons Attribution-ShareAlike 3.0 */

body {
  background-color: #fff;
  padding:50px;
  font: 14px/1.5 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  color:#595959;
  font-weight:400;
}

h1, h2, h3, h4, h5, h6 {
  color:#222;
  margin:0 0 20px;
}

p, ul, ol, table, pre, dl {
  margin:0 0 20px;
}

h1, h2, h3 {
  line-height:1.1;
}

h1 {
  font-size:28px;
  font-weight: 500;
}

h2 {
  color:#393939;
  font-weight: 500;
}

h3, h4, h5, h6 {
  color:#494949;
  font-weight: 500;
}

a {
  color:#1f4e79;
  text-decoration:none;
}

a:hover {
  color:#142f4b;
}

a small {
  font-size:11px;
  color:#777;
  margin-top:-0.3em;
  display:block;
}

a:hover small {
  color:#777;
}

.wrapper {
  width:auto;
  max-width:1440px;
  margin:0 auto;
}

blockquote {
  border-left:1px solid #e5e5e5;
  margin:0;
  padding:0 0 0 20px;
  font-style:italic;
}

code, pre {
  font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
  color:#333;
}

pre {
  padding:8px 15px;
  background: #f8f8f8;
  border-radius:5px;
  border:1px solid #e5e5e5;
  overflow-x: auto;
}

table {
  width:100%;
  border-collapse:collapse;
}

th, td {
  text-align:left;
  padding:5px 10px;
  border-bottom:1px solid #e5e5e5;
}

dt {
  color:#444;
  font-weight:500;
}

th {
  color:#444;
}

img {
  max-width:100%;
}

header {
  width:270px;
  float:left;
  position:fixed;
  -webkit-font-smoothing:subpixel-antialiased;
}

header ul {
  list-style:none;
  height:40px;
  padding:0;
  background: #f4f4f4;
  border-radius:5px;
  border:1px solid #e0e0e0;
  width:270px;
}

header li {
  width:89px;
  float:left;
  border-right:1px solid #e0e0e0;
  height:40px;
}

header li:first-child a {
  border-radius:5px 0 0 5px;
}

header li:last-child a {
  border-radius:0 5px 5px 0;
}

header ul a {
  line-height:1;
  font-size:11px;
  color:#999;
  display:block;
  text-align:center;
  padding-top:6px;
  height:34px;
}

header ul a:hover {
  color:#999;
}

header ul a:active {
  background-color:#f0f0f0;
}

strong {
  color:#222;
  font-weight:700;
}

header ul li + li + li {
  border-right:none;
  width:89px;
}

header ul a strong {
  font-size:14px;
  display:block;
  color:#222;
}

section {
  width:auto;
  float:none;
  margin-left:350px;
  padding-bottom:50px;
}

small {
  font-size:11px;
}

hr {
  border:0;
  background:#e5e5e5;
  height:1px;
  margin:0 0 20px;
}

.theme-credit {
  margin-top:35px;
  color:#aaa;
}

.theme-credit a {
  color:#aaa;
}

.theme-credit a:hover {
  color:#1f4e79;
}

@media (max-width: 900px) {
  .theme-credit {
    display:none;
  }
}

@media print, screen and (max-width: 900px) {

  div.wrapper {
    width:auto;
    margin:0;
  }

  header, section, footer {
    float:none;
    position:static;
    width:auto;
  }

  section {
    margin-left:0;
  }

  header {
    padding-right:320px;
  }

  section {
    border:1px solid #e5e5e5;
    border-width:1px 0;
    padding:20px 0;
    margin:0 0 20px;
  }

  header a small {
    display:inline;
  }

  header ul {
    position:absolute;
    right:50px;
    top:52px;
  }
}

@media print, screen and (max-width: 720px) {
  body {
    word-wrap:break-word;
  }

  header {
    padding:0;
  }

  header ul, header p.view {
    position:static;
  }

  pre, code {
    word-wrap:normal;
  }
}

@media print, screen and (max-width: 480px) {
  body {
    padding:15px;
  }

  header ul {
    width:99%;
  }

  header li, header ul li + li + li {
    width:33%;
  }
}

@media print {
  body {
    padding:0.4in;
    font-size:12pt;
    color:#444;
  }
}

/* --- Site-specific additions --- */

header img.portrait {
  width:100%;
  border-radius:2px;
  margin-bottom:15px;
  display:block;
}

.side-links {
  color:#ccc;
}

section p {
  text-align:justify;
}

section hr {
  margin:30px 0 26px;
}

section h2.sec {
  font-size:22px;
  font-weight:700;
  color:#494949;
  margin:0 0 22px;
}

.paper {
  margin:0 0 26px;
}

.paper-title {
  font-size:18px;
  font-weight:700;
  color:#222;
  line-height:1.35;
  margin:0;
  text-align:left;
}

.paper-title a {
  color:#1f4e79;
}

.paper-title a:hover {
  color:#142f4b;
  text-decoration:underline;
}

.paper-authors {
  font-size:13px;
  color:#777;
  margin:2px 0 0;
  text-align:left;
}

.paper-authors a {
  color:#777;
  border-bottom:1px dotted #bbb;
}

.paper-authors a:hover {
  color:#069;
  border-bottom-color:#069;
}

.paper-btns {
  margin:7px 0 0;
}

.pbtn {
  display:inline-block;
  font-size:11px;
  font-family:inherit;
  color:#666;
  background:#f4f4f4;
  border:1px solid #e0e0e0;
  border-radius:3px;
  padding:2px 10px;
  margin:0 6px 4px 0;
  cursor:pointer;
  -webkit-user-select:none;
  user-select:none;
}

.pbtn:hover {
  color:#1f4e79;
  border-color:#b9c6d2;
  text-decoration:none;
}

.pbtn.active {
  background:#e9eef3;
  border-color:#b9c6d2;
  color:#1f4e79;
}

.panel {
  display:none;
  margin:10px 0 0;
  padding:2px 0 2px 14px;
  border-left:2px solid #e5e5e5;
  font-size:13px;
  line-height:1.55;
  color:#595959;
}

.panel.open {
  display:block;
}

.panel p {
  margin:0 0 10px;
}

.panel p:last-child {
  margin-bottom:0;
}

.jmp {
  color:#222;
  font-weight:500;
  font-size:11px;
  text-transform:uppercase;
  letter-spacing:0.05em;
  background:#f4f4f4;
  border:1px solid #e0e0e0;
  border-radius:3px;
  padding:1px 6px;
  margin-left:4px;
  white-space:nowrap;
}