:root {
  --bg-color: #f5f0e8;
  --text-main: #595959;
  --text-heading: #333333;
  --accent-color: #222222;
  --badge-orange: #eb5e14;
  --accent-hover: #555555;
  --border-color: #e5e5e5;
  --code-bg: #eae3d9;
  --header-bg: #ece5da; }

:root[data-theme="dark"] {
  --bg-color: #1a1a1a;
  --text-main: #b3b3b3;
  --text-heading: #e0e0e0;
  --accent-color: #e0e0e0;
  --badge-orange: #ff7f3f;
  --accent-hover: #ffffff;
  --border-color: #333333;
  --code-bg: #2a2a2a;
  --header-bg: #242424; }

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg-color: #1a1a1a;
    --text-main: #b3b3b3;
    --text-heading: #e0e0e0;
    --accent-color: #e0e0e0;
    --badge-orange: #ff7f3f;
    --accent-hover: #ffffff;
    --border-color: #333333;
    --code-bg: #2a2a2a;
    --header-bg: #242424; } }
.pub-row {
  display: flex;
  align-items: center; }

.social-icons a {
  display: inline-block;
  height: 2.4rem;
  width: 2.4rem;
  background-color: transparent;
  color: var(--text-heading) !important;
  border-radius: 100%;
  text-align: center;
  font-size: 1.15rem;
  line-height: 2.5rem;
  margin-right: 1rem; }

@media (prefers-color-scheme: dark) {
  .social-icons a {
    color: var(--accent-color) !important; } }
.social-icons a:last-child {
  margin-right: 0; }

.social-icons a:hover {
  background-color: white;
  color: black;
  transform: scale(1.2); }

/*
.social-icons a:after {
    content: '';
    display: block;
    margin: 0px;
    height: 1px;
    width: 0px;
    background: transparent;
    transition: width .5s ease, background-color .5s ease;
  }
  .social-icons a:hover:after {
    width: 100%;
    background: #337ab7;
  }
 */
@media (prefers-color-scheme: dark) {
  .social-icons a:last-child {
    margin-right: 0; }

  .social-icons a:hover {
    background-color: var(--bg-color);
    color: black;
    transform: scale(1.2); }

  /*
  .social-icons a:after {
      content: '';
      display: block;
      margin: 0px;
      height: 1px;
      width: 0px;
      background: transparent;
      transition: width .5s ease, background-color .5s ease;
    }
  .social-icons a:hover:after {
      width: 100%;
      background: #a0b0ff;
    }
  */ }
.icon-button {
  background-color: white;
  border-radius: 3.6rem;
  cursor: pointer;
  display: inline-block;
  font-size: 2.0rem;
  height: 3.6rem;
  line-height: 3.6rem;
  margin: 0 5px;
  position: relative;
  text-align: center;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  width: 3.6rem; }

.icon-button span {
  border-radius: 0;
  display: block;
  height: 0;
  left: 50%;
  margin: 0;
  position: absolute;
  top: 50%;
  -webkit-transition: all 0.3s;
  -moz-transition: all 0.3s;
  -o-transition: all 0.3s;
  transition: all 0.3s;
  width: 0; }

.icon-button:hover span {
  width: 3.6rem;
  height: 3.6rem;
  border-radius: 3.6rem;
  margin: -1.8rem; }

.twitter span {
  background-color: #4099ff; }

.facebook span {
  background-color: #4286f4; }

.linkedin span {
  background-color: #0077B5; }

.github span {
  background-color: #000; }

email {
  font-size: 14px;
  font-family: 'Fira Code', monospace; }

.icon-button i {
  background: none;
  color: white;
  height: 3.6rem;
  left: 0;
  line-height: 3.6rem;
  position: absolute;
  top: 0;
  -webkit-transition: all 0.3s;
  -moz-transition: all 0.3s;
  -o-transition: all 0.3s;
  transition: all 0.3s;
  width: 3.6rem;
  z-index: 10; }

.icon-button .icon-twitter {
  color: #4099ff; }

.icon-button .icon-facebook {
  color: #4286f4; }

.icon-button .icon-github {
  color: #000; }

.icon-button .icon-linkedin {
  color: #0077B5; }

.icon-button:hover .icon-twitter, .icon-button:hover .icon-facebook, .icon-button:hover .icon-github, .icon-button:hover .icon-linkedin {
  color: white; }

autocolor {
  color: var(--text-main); }

lightonly {
  visibility: visible; }

darkonly {
  visibility: hidden; }

education {
  font-weight: 500;
  font-size: 115%; }

papertitle {
  font-weight: 600;
  font-size: 100%; }

@media (prefers-color-scheme: dark) {
  body {
    background-color: var(--bg-color);
    color: var(--text-main); }

  autocolor {
    color: var(--text-main); }

  lightonly {
    visibility: hidden; }

  darkonly {
    visibility: visible; }

  papertitle {
    color: var(--text-heading); } }
.image {
  border-radius: 0.35em;
  border: 0;
  display: inline-block;
  position: relative; }

.image:before {
  -moz-transition: opacity 0.2s ease-in-out;
  -webkit-transition: opacity 0.2s ease-in-out;
  -ms-transition: opacity 0.2s ease-in-out;
  transition: opacity 0.2s ease-in-out;
  border-radius: 0.35em;
  content: '';
  display: block;
  height: 100%;
  left: 0;
  opacity: 0.5;
  position: absolute;
  top: 0;
  width: 100%; }

.image.avatar {
  border-radius: 100%; }

.image.avatar:before {
  display: none; }

.image.avatar img {
  border-radius: 100%;
  width: 45%;
  padding: 20px; }

#header .image.avatar {
  margin: 0 0 1em 0;
  width: 8.00em; }

h3, h4, h5, h6 {
  font-weight: 600;
  color: var(--text-heading);
  margin: 0 0 20px; }

h1 {
  font-weight: 500;
  color: var(--text-heading);
  margin: 0 0 20px; }

h2 {
  color: var(--text-heading);
  font-weight: 500;
  margin: 2px 0px 15px;
  font-size: 157%; }

@media (prefers-color-scheme: dark) {
  h1, h3, h4, h5, h6 {
    color: var(--accent-color); }

  h2 {
    color: var(--accent-color); } }
p, ul, ol, table, pre, dl {
  margin: 0 0 20px; }

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

h1 {
  font-size: 28px; }

a {
  color: var(--accent-color);
  text-decoration: none; }

a:hover {
  color: var(--accent-hover); }

@media (prefers-color-scheme: dark) {
  a {
    color: var(--accent-color); } }
a small {
  font-size: 11px;
  color: #777;
  margin-top: -0.3em;
  display: block; }

a:hover small {
  color: #777; }

.wrapper {
  width: 1080px;
  margin: 0 auto; }

blockquote {
  border-left: 1px solid var(--border-color);
  margin: 0;
  padding: 0 0 0 20px;
  font-style: italic; }

code, pre {
  font-family: 'Fira Code', Monaco, Consolas, monospace;
  color: var(--text-main); }

pre {
  max-width: 500px;
  padding: 8px 15px;
  background: var(--code-bg);
  border-radius: 5px;
  border: 1px solid var(--border-color);
  overflow-x: auto; }

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

th, td {
  text-align: left;
  padding: 5px 10px;
  border-bottom: 1px solid var(--border-color); }

dt {
  color: var(--text-main);
  font-weight: 500; }

th {
  color: var(--text-main); }

@media (prefers-color-scheme: dark) {
  th {
    color: var(--accent-color); }

  dt {
    color: var(--accent-color); } }
img {
  max-width: 100%; }

header {
  width: 232px;
  float: left;
  position: fixed;
  -webkit-font-smoothing: subpixel-antialiased;
  padding-top: 4.0em;
  text-align: center; }

header ul {
  list-style: none;
  height: 40px;
  padding: 0;
  background: var(--header-bg);
  border-radius: 5px;
  border: 1px solid var(--border-color);
  width: 270px; }

header li {
  width: 89px;
  float: left;
  border-right: 1px solid var(--border-color);
  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: var(--text-heading);
  font-weight: 500; }

@media (prefers-color-scheme: dark) {
  strong {
    color: var(--text-heading); } }
header ul li + li + li {
  border-right: none;
  width: 89px; }

header ul a strong {
  font-size: 14px;
  display: block;
  color: var(--text-heading); }

section {
  width: 770px;
  float: right;
  padding-top: 4.0em;
  padding-bottom: 50px; }

small {
  font-size: 11px; }

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

footer {
  width: 232px;
  float: left;
  position: fixed;
  bottom: 30px;
  -webkit-font-smoothing: subpixel-antialiased;
  text-align: center; }

@media print, screen and (max-width: 960px) {
  .pub-row {
    display: flex;
    align-items: center; }

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

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

  header {
    padding-right: 320px; }

  section {
    border: 1px solid var(--border-color);
    border-width: 1px 0;
    padding: 20px 0;
    margin: 0 0 20px; }

  header a small {
    display: inline; }

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

  .image.avatar img {
    border-radius: 100%;
    width: 117px;
    padding: 20px; }

  #head1o2 {
    visibility: hidden; }

  #head2o2 {
    visibility: hidden; } }
@media print, screen and (max-width: 960px) {
  body {
    word-wrap: break-word;
    padding: 15px; }

  .pub-row {
    display: flex;
    align-items: center; }

  header {
    padding: 0; }

  pre, code {
    word-wrap: normal; } }
@media print, screen and (max-width: 480px) {
  .pub-row {
    display: block;
    align-items: center; }

  body {
    padding: 15px; }

  header ul {
    width: 99%; }

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

  .image.avatar img {
    border-radius: 100%;
    width: 95px;
    padding: 20px; }

  #head1o2 {
    visibility: hidden; }

  #head2o2 {
    visibility: hidden; } }
@media print {
  body {
    padding: 0.4in;
    font-size: 12pt;
    color: var(--text-main); } }
.biblink {
  text-decoration: none;
  display: inline;
  margin-right: 0px; }

.fakelink {
  text-decoration: none;
  cursor: pointer; }

.bibref {
  font-size: 70%;
  margin-top: 10px;
  margin-left: 0px;
  display: none;
  font-family: monospace; }

/* Mobile Responsiveness Override */
@media screen and (max-width: 768px) {
  header {
    padding-right: 0 !important;
    padding-top: 2rem !important;
    text-align: center !important;
    width: 100% !important; }

  header .image.avatar {
    margin: 0 auto 1em auto !important;
    display: block !important;
    width: auto !important; }

  header .image.avatar img {
    width: 150px !important;
    margin: 0 auto !important;
    padding: 10px !important; }

  .social-icons {
    display: flex !important;
    justify-content: center !important;
    flex-wrap: wrap !important;
    margin-top: 15px !important; }

  section {
    padding: 2.5rem 1.5rem !important;
    border: none !important;
    width: 100% !important;
    float: none !important; }

  h1 {
    font-size: 24px !important; }

  h2 {
    font-size: 20px !important; }

  .wrapper {
    padding: 0 10px !important;
    width: 100% !important; } }