/*************************************************
 *  Hugo Academic: an academic theme for Hugo.
 *  Designed by @GeorgeCushen.
 *  https://github.com/gcushen/hugo-academic
 **************************************************/

/*************************************************
 *  Core
 **************************************************/

html {
  font-family: 'Roboto', sans-serif;
  font-size: 16px;
  color: #555555;
  line-height: 1.4;
}
@media screen and (min-width: 992px) {
  html {
    font-size: 18px;
  }
}

body {
  height: 100%;
  font-family: inherit;
  font-size: 1rem;
  line-height: inherit;
  color: #595959;
  background-color: #fff;
  margin-top: 60px; /* Offset body content by navbar height. */
  padding-top: 0;
  counter-reset: captions;
}
@media screen and (max-width: 1200px) { /* Match max-width of .nav-bar query. */
  body {
    margin-top: 55px; /* Offset body content by navbar height. */
  }
}

.max-width-640 {
  max-width: 640px;
}

.margin-auto {
  margin-left: auto;
  margin-right: auto;
}

.center-text {
  text-align: center;
}

b, strong {
  color: #111111;
  font-weight: 500;
}

/* Body text */
p {
  margin-top: 0;
  margin-bottom: 0.5rem;
}

/* Lists */
ul, ol, dl {
  margin-top: 0;
  margin-bottom: 0.6rem;
}

ul li, ol li, dl li {
  margin-bottom: 0.6rem;
}

.dark ul li, .dark ol li, .dark dl li {
  color: #ccc;
}

#page-container li:first-child {
  margin-top: 0.6rem;
}

/* Navigation bar text */
.navbar-light {
  font-family: 'Roboto', sans-serif;
  font-weight: 400;
  line-height: 1.25;
  text-rendering: optimizeLegibility;
}

.dark .navbar {
  color: #ccc;
  background-color: hsla(231, 15%, 18%, 1);
  filter: brightness(150%);
}

/* Headings */
h1, h2, h3, h4, h5, h6 {
  font-family: 'Heebo', sans-serif;
  font-weight: 400;
  margin-top: 1.25rem;
  margin-bottom: .5rem;
  line-height: 1.25;
  color: #111111;
  text-rendering: optimizeLegibility;

  /* Ensure long words do not overflow into content. */
  overflow-wrap: break-word;
  word-wrap: break-word;
  word-break: break-word;

  /* Add a hyphen where the word breaks (use `­` to insert a soft-hyphen in a word). */
  -webkit-hyphens: manual;
  -ms-hyphens: manual;
  hyphens: manual;
}
h1 {
  font-size: 1.7rem;
  font-weight: 600;
}
h2 {
  font-size: 1.4rem;
  font-weight: 600;
  margin-top: 1.1em;
}
h3 {
  font-size: 1.2rem;
  font-weight: 500;
  margin-top: 1.25rem;
}
h4, h5, h6 {
  font-size: 1.1rem;
  font-weight: 500;
  font-style: oblique;
  margin-top: 1.25rem;
}

h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
  font-size: 90%;
}

a,
h3.article-title a:hover {
  color: #5090b2;
  text-decoration: none;
  transition: color 0.6s ease;
}

a:hover,
a:focus {
  color: black;
}

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

video {
  width: 100%;
  height: auto;
  max-height: 400px;
}

.img-responsive {
  /* Extend Bootstrap declaration with centering. */
  margin: 0 auto;
}

figcaption {
  display: block;
  margin-top: 0.75em;
  line-height: 1.25;
  font-size: 1rem;
  margin-bottom: 1.65rem;
  font-family: 'Heebo', sans-serif;
}

figcaption.numbered:before {
  font-weight: 700;
  text-transform: uppercase;
  content: attr(data-pre) counter(captions) attr(data-post);
}

figcaption.numbered {
  counter-increment: captions;
}

figcaption h4 {
  display: inline;
  font-size: 1rem;
  font-weight: 400;
  margin: 0;
}

pre,
code {
  font-family: 'IBM Plex Mono', monospace;
  font-weight: 500;
  word-break: normal;
}

table pre, table code {
  font-size: 0.85rem;
}

pre {
  border: 0;
  border-radius: 0.5em;
  font-size: 0.85rem;
  width: 96%;
  margin: 1rem auto 1rem auto;
  padding: 0.25rem !important;
}

pre code {
  white-space: pre; /* Override Bootstrap to preserve line breaks in code. */
  overflow-x: auto;
}

code {
  font-size: 0.9rem;
  padding-left: 3px;
  padding-right: 3px;
}

.dark pre, .dark code {
  color: #fff !important;
}

hr {
  border: 0;
  height: 1px;
  margin-top: 0.5rem;
  margin-bottom: 1rem;
  background: #333;
  background-image: linear-gradient(to right, #ccc, #333, #ccc);
}

/* Quotes */
blockquote {
  font-style: italic;
  padding: .5rem 1rem;
  margin: .8rem 0;
  color: #7a7a7a;
  border-left: .25rem solid #e5e5e5;
}
blockquote p:last-child {
  margin-bottom: 0;
}
@media (min-width: 992px) {
  blockquote {
    padding-right: 5rem;
    padding-left: 1.25rem;
  }
}

.markup-quote {
  background-color: transparent;
  background-image: linear-gradient(to bottom, rgba(233, 231, 245, 1), rgba(233, 231, 245, 1));
}

.space-below {
  margin-bottom: 50px;
}
@media screen and (max-width: 768px) {
  .space-below {
    margin-bottom: 10px;
  }
}

.universal-wrapper {
  margin: 0 auto;
  padding-right: 1rem;
  padding-left: 1rem;
  padding-top: 0.1rem;
  width: 100%;
}

@media only screen and (min-width: 1001px) {
  .universal-wrapper {
    width: 1000px;
  }
}

small,
.small {
  font-size: .75em;
}

.responsive-wrap iframe {
  max-width: 100%;
}

#page-container {
  position: relative;
  padding-top: 20px;
  min-height: 96vh;
  padding-bottom: 3rem;
}


/*************************************************
 *  Search.
 **************************************************/

.search-results {
  transform: scale(0);
  -webkit-transform: scale(0);
  background-color: #fff;
  bottom: 0;
  left: 0;
  right: 0;
  top: 0;
  overflow: scroll;
  position: fixed;
  visibility: hidden;
  z-index: -99;
}

.dark .search-results {
  background-color: rgb(40, 42, 54);
}

.searching {
  overflow: hidden;
}

.searching .search-results {
  transform: scale(1);
  -webkit-transform: scale(1);
  visibility: visible;
  z-index: 11; /* Second highest index, after navbar. */
}

.searching #search-box #search-query {
  width: 100%;
}

body > .container {
  height: auto !important;
  min-height: 100%;
}

.search-results > .container {
  padding-top: 70px;  /* Navbar height. */
}
@media screen and (max-width: 1200px) {
  .search-results > .container {
    padding-top: 55px;  /* Navbar height. */
  }
}

.search-header {
  position: -webkit-sticky;
  position: sticky;
  top: 60px;  /* Navbar height. */
  background-color: #fff;
  padding-top: 2rem;
  padding-bottom: 1rem;
}
@media screen and (max-width: 1200px) {
  .search-header {
    top: 55px;  /* Navbar height. */
  }
}

.dark .search-header {
  background-color: rgb(40, 42, 54);
}

.search-header h1 {
  margin: 0;
  line-height: 1;
}

.col-search-close {
  text-align: right;
}

.search-header i {
  font-size: 2rem;
  line-height: 1;
}

#search-box {
  position: relative; /* Required for search icon positioning. */
  margin-bottom: 0.5rem;
}

#search-box::before {
  font-family: 'Font Awesome 5 Free';
  font-weight: 900;
  content: "\f002";
  font-size: 1rem;
  opacity: 0.25;
  line-height: 1rem;
  position: absolute;
  left: 0.7rem;
  top: 0.6rem;
  overflow-x: hidden;
}

#search-box #search-query {
  border: 1px solid #dedede;
  border-radius: 1rem;
  padding: 1rem 1rem 1rem 2rem; /* Wider left padding for search icon to fit in. */
  width: 250px;
  line-height: 1rem;
  height: 1rem;
  font-size: 0.8rem;
}

.search-hit em {
  font-style: normal;
  background-color: #FFE0B2;
  color: #E65100;
  border-bottom: 1px solid #E65100;
}

.search-hit-type {
  margin-bottom: 0 !important; /* Override .article-metadata margin. */
  text-transform: capitalize;
}

.search-hit-description {
  font-size: 0.7rem;
}

/* Load more results button - hide when there are no more results. */
#search-hits button[disabled] {
  display: none;
}

.form-control:focus {
  border-color: #84c5e2;
  box-shadow: 0 0 0 .2rem #768fff;
}

/*************************************************
 *  Modals.
 **************************************************/

.modal-content {
  background: #fff;
}

.modal-title {
  margin: 0; /* Override default h5 margin. */
}

.modal-content pre {
  margin: 0;
}

.modal-header {
  border: 0;
  color: rgba(0,0,0,0.8);
}

.modal-footer {
  border: 0;
}

#modal-error {
  color: red;
}

/*************************************************
 *  Gallery.
 **************************************************/

.gallery {
  margin: 0.5em -4px 1.5em -4px;
  font-size: 0;
}

a[data-fancybox] {
  text-decoration: none;
}

a[data-fancybox] img {
  height: 250px;
  max-width: inherit;
  display: inherit;
  margin: 0;
  padding: 4px;
  box-shadow: none;
  vertical-align: inherit;
}

.fancybox-caption {
  font-size: 1rem;
  line-height: 1.5rem;
  text-align: center;
}

/*************************************************
 *  Pager.
 **************************************************/

.post-nav {
  margin-top: 1rem;
  font-size: 0.8rem;
}

.post-nav-item {
  hyphens: auto;
  word-wrap: break-word;
  padding: 11px 0 12px;
  width: 100%;
}

.post-nav-item a {
  color: #2b2b2b;
  line-height: 1.7;
  text-transform: none;
}

.post-nav-item .meta-nav {
  color: #767676;
  font-weight: 900;
  line-height: 2;
  text-transform: uppercase;
}

.dark .post-nav-item a {
  color: #ddd;
}

.pagination {
  margin-top: 5rem;
  clear: both;
  font-size: 200%;
}

/*************************************************
 *  Home Sections
 **************************************************/

@keyframes intro {
  0% {
    opacity: 0;
  }
  100% {
    opacity: 1;
  }
}

.home-section {
  background-color: rgb(255, 255, 255);
  padding: 1rem 0 1rem 0;
  padding-bottom: 1rem;
}

.home-section:first-of-type {
  padding-top: 2em;
}

.home-section:nth-of-type(even) {
  background-color: rgb(247, 247, 247);
}

.dark .home-section {
  background-color: hsla(231, 15%, 18%, 1);
}

.dark .home-section:nth-of-type(even) {
  background-color: hsla(231, 15%, 16%, 1);
}

@media screen and (max-width: 768px) {
  .home-section {
  }
  .home-section:first-of-type {
    padding-top: 20px;
  }
}

@media screen and (max-width: 992px) {
  .home-section:first-of-type {
    padding-top: 20px;
  }
}

@media screen and (max-width: 1200px) {
  .home-section:first-of-type {
    padding-top: 20px;
  }
}

.section-heading h1 {
  margin: 0 0 10px 0;
}

.section-heading p {
  font-weight: 400;
  font-size: 1.1rem;
  color: #b2b2b2;
}

/*************************************************
 *  Widgets (common)
 **************************************************/

.see-all {
  margin-top: 2rem;
  text-transform: uppercase;
}

/*************************************************
 *  Hero Widget
 **************************************************/

.hero-overlay {
  padding: 3em 0;
  clear: both;
  background-size: cover;
  background-repeat: no-repeat;
  background-position: center;
  animation: intro 0.3s both;
  animation-delay: 0s;
  animation-delay: 0.25s;
}

.hero-title {
  font-size: 2.7rem;
  margin-top: 0;
  line-height: 1;
}

.hero-lead {
  max-width: 768px;
  font-size: 1.35rem;
}

.hero-overlay .hero-title,
.hero-overlay .hero-lead,
.hero-overlay .btn {
  color: #fff;
  text-shadow: 1px 1px 4px rgba(0,0,0,0.5);
}

.hero-overlay a {
  color: #fff;
}

.hero-overlay .hero-lead a {
  color: #fff;
  text-decoration-line: underline;
}

.hero-overlay .btn-lg {
  font-size: 1.1rem;
}

/*************************************************
 *  Featurette Widget
 **************************************************/

.featurette {
  font-size: 0.8rem;
  line-height: 1.5;
  color: #555;
  text-align: center;
}

.featurette h3 {
  margin-top: 0;
  margin-bottom: 5px;
  font-weight: 400;
  color: #333;
}

.dark .featurette,
.dark .featurette h3 {
  color: #fff;
}

.featurette-icon {
  display: block;
  width: 100%;
  color: #84c5e2;
  font-size: 3rem;
  text-align: center;
}

/*************************************************
 *  About widget
 **************************************************/

#profile {
  text-align: center;
  padding: 30px 10px;
  position: relative;
}

#profile .portrait {
  width: 200px;
  height: 200px;
  margin: 0 auto;
  border-radius: 50%;
  object-fit: cover;
}

#profile .portrait-title h2 {
  font-size: 1.75em;
  font-weight: 300;
  color: #000000;
  margin: 20px 0 10px 0;
}

#profile .portrait-title h3 {
  font-size: 1rem;
  font-weight: 300;
  color: rgba(0,0,0, 0.54);
  margin: 0px 0 10px 0;
}

ul.network-icon {
  display: inline-flex;
  flex-direction: row;
  flex-wrap: wrap;
  justify-content: center;
  list-style: none;
  padding: 0;
}

#profile .network-icon {
  margin-top: 30px;
}

.network-icon li {
  margin-right: 10px;
}

.network-icon li:last-of-type {
  margin-right: 0;
}

.network-icon li:hover {
  transform: scale(1.2)
}

.big-icon {
  font-size: 2rem;
}

ul.ul-interests li {
  font-size: 0.9rem;
}

ul.ul-edu {
  list-style: none;
}

ul.ul-edu li {
  position: relative;
  padding: 0px 15px 4px 3px;
}

ul.ul-edu li .description p {
  margin: 0;
}

ul.ul-edu li .description p.course {
  font-size: 0.9rem;
}

ul.ul-edu li .description p.institution {
  font-size: 0.75rem;
  color: rgba(0,0,0,0.6);
}

/*************************************************
 *  Sharing
 **************************************************/

.share-box {
  float: right;
}

ul.share {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  list-style: none;
  margin: 0;
  padding: 0;
}

ul.share li {
  display: inline-flex;
  margin-right: 5px;
}

ul.share li:last-of-type {
  margin-right: 0;
}

ul.share li i {
  display: block;
  width: 30px;
  height: 30px;
  line-height: 30px;
  font-size: 16px;
  text-align: center;
  transition: all 150ms ease-in-out;
  color: #fff;
}

.dark ul.share li i {
  color: rgb(68, 71, 90);
}

ul.share li a {
  background-color: #b5c6ce;
  display: block;
  border-radius: 50%;
  text-decoration: none !important;
  margin: 0;
}

ul.share li:hover i {
  transform: scale(1.4)
}

/*************************************************
 *  Page content style
 **************************************************/

article {
  animation: intro 0.3s both;
  animation-delay: 0.15s;
}

.article-container {
  max-width: 760px;
  padding: 0 20px 0 20px;
  margin: 0 auto 0 auto;
}

.split-header {
  margin-bottom: 2rem;
}

.split-header .share-box {
  float: left;
}

.page-subtitle {
  font-size: 1.15rem;
  color: rgba(0,0,0,.54);
  margin-bottom: 1rem;
}

.dark .page-subtitle {
  color: rgba(255,255,255,0.54);
}

.split-header .page-subtitle {
  margin-bottom: 1.5rem;
}

.split-header-content {
  max-width: 612px;
  width: 100%;
  padding: 60px 60px 32px 0;
  margin-left: auto;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
}

.split-header-image {
  position: relative; /* Required for caption positioning */
  clear: both;
  max-width: 580px;
}

.article-header {
  position: relative; /* Required for caption positioning */
  clear: both;
}

.article-banner {
  width: 100%;
  height: auto;
}

.featured-image {
  width: 100%;
  background-position: left;
  background-origin: border-box;
  background-size: cover;
  height: 60vh;
  min-height: 500px;
  -webkit-box-flex: 1;
  -webkit-flex: 1 0 auto;
  -ms-flex: 1 0 auto;
  flex: 1 0 auto
}

@media screen and (max-width: 1199px) {
  .featured-image {
    min-height: 400px;
    height: auto;
  }
}

@media screen and (max-width: 767px) {
  .featured-image {
    min-height: 300px;
  }
}

.article-header-caption {
  position: absolute;
  bottom: 0;
  right: 0;
  margin: 0 auto;
  padding: 2px 5px;
  color: #fff;
  font-size: .7em;
  background: #000;
  text-align: right;
  z-index: 5;
  opacity: 0.65;
  border-radius: 5px 0 0 0;
}
@media (min-width: 64em) {
  .article-header-caption {
    padding: 5px 10px;
  }
}

.article-header-caption a {
  color: #fff;
  text-decoration: none;
}

.article-title {
  font-size: 1.75rem;
}

.article-title a {
  color: #151515;
  transition: color 0.6s ease;
}

.text-muted {
  color: rgba(0,0,0,0.54); /* Override Bootstrap */
}

.dark .text-muted {
  color: rgba(255,255,255,0.54);
}

.article-metadata {
  margin-bottom: 15px;
  overflow: hidden;
  font-size: 14px;
  letter-spacing: 0.03em;
  color: rgba(0,0,0,0.54);
}

.dark .article-metadata {
  color: rgba(255,255,255,0.54);
}

.stream-meta.article-metadata {
  margin-bottom: 5px;
}

/* For article page only, not lists. */
article .article-metadata {
  margin-bottom: 20px;
  line-height: 30px; /* Match share bar line height. */
}

.article-metadata a {
  color: rgba(0,0,0,.54);
}

.dark .article-metadata a {
  color: rgba(255,255,255,0.54);
}

.article-metadata a:hover {
  color: #84c5e2;
}

.middot-divider {
  padding-right: .45em;
  padding-left: .45em;
  font-size: 15px;
}

.middot-divider::after {
  content: '\00B7';
}

body.dark .article-style {
  color: #ccc;
}

.article-style img,
.article-style video {
  margin-left: auto;
  margin-right: auto;
  padding: 0;
}

.article-style td img,
.article-style td video {
  margin-top: 0;
  margin-bottom: 0;
}

.article-style figure {
  margin-top: 2rem;
  margin-bottom: 2rem;
}

.article-style figure img {
  margin-top: 0;
  margin-bottom: 0;
}

.article-widget {
  padding-top: 1rem;
}

.article-widget h3 {
  margin-top: 0;
}

#comments {
  padding-top: 1rem;
}

/*************************************************
 *  Stream
 **************************************************/

.media.stream-item {
  margin-bottom: 2rem;
}

.media.stream-item .article-title {
  font-size: 1.2rem;
}

.media.stream-item .article-style {
  margin-top: 2px;
  font-size: 0.8rem;
}

.media.stream-item .stream-meta {
  margin-top: 12px;
}

.media.stream-item img {
  max-width: 150px;
  height: auto;
  object-fit: cover;
}

@media screen and (max-width: 768px) {
  .media.stream-item img {
    max-width: 80px;
  }
}

/*************************************************
 *  Author profile card
 **************************************************/

.author-card {
  margin-top: 1rem;
  padding-top: 1rem;
  border-top: 1px solid rgba(0,0,0,.05);
}

.dark .author-card {
  border-top: 1px solid rgba(255,255,255,.05);
}

.author-card .portrait {
  width: 60px;
  height: 60px;
  margin: 0 auto;
  border-radius: 50%;
  object-fit: cover;
}

.author-card .card-title {
  margin-top: 0;
  margin-bottom: 15px;
  font-weight: 600;
  color: rgba(0, 0, 0, 0.84);
}

.author-card .card-title a {
  color: rgba(0, 0, 0, 0.84);
}

.dark .author-card .card-title,
.dark .author-card .card-title a {
  color: rgba(255, 255, 255, 0.84);
}

.author-card p {
  margin-bottom: 5px;
}

.author-card .card-subtitle {
  font-weight: 300;
  font-size: 0.8rem;
  color: rgba(0, 0, 0, 0.54);
  margin-bottom: 7px;
}

.dark .author-card .card-subtitle {
  color: rgba(255, 255, 255, 0.54);
}

.author-card .card-text {
  color: rgba(0, 0, 0, 0.76);
  font-size: 0.8rem;
  margin-bottom: 4px;
}

.dark .author-card .card-text {
  color: rgba(255, 255, 255, 0.76);
}

/*************************************************
 *  Publications
 **************************************************/

/* We have our own version of pub -- MH

.pub-icon {
  color: rgba(0, 0, 0, 0.54);
  font-size: 0.81em;
  padding-top: 6px;
}

.pub-banner {
  max-width: 100%;
  height: auto;
  margin-left: auto;
  margin-right: auto;
}

.pub-row-heading {
  font-weight: bold;
}

.pub-list-item .pub-abstract {
  font-size: 1rem;
}

.pub-list-item .btn-links {
  padding-top: 10px;
}

#container-publications {
  display: block;
  position: relative;
  overflow: hidden;
}
*/

/*************************************************
 * Experience
 **************************************************/

.exp-title {
  text-transform: none !important;
}

.exp-company {
  font-weight: normal !important;
  text-transform: none !important;
}

.exp-meta {
  font-size: 0.8rem;
}

.experience .card-text,
.experience .card-text p {
  color: #000 !important;
  font-size: 0.75rem !important;
}

.dark .experience .text-muted {
  color: rgba(255, 255, 255, 0.8) !important;
}

.dark .experience .card-text,
.dark .experience .card-text p {
  color: rgb(248, 248, 242) !important;
}

.card .card-text ul {
  margin-top: -1rem;
  margin-bottom: 0rem;
}

.experience .m-2 .border,
.experience .col.border-right {
  border-color: #84c5e2 !important;
}

.experience .m-2 .border.exp-fill {
  background-color: #84c5e2 !important;
}

/*************************************************
 * Talks
 **************************************************/

.talk-metadata {
  color: #4b4f56;
  font-size: 0.8rem;
}

/*************************************************
 *  Projects
 **************************************************/

.project-widget-simple li {
  margin-bottom: 1rem;
}

.project-widget-simple li:last-of-type {
  margin-bottom: 0;
}

.project-widget-simple .project-title {
  margin-bottom: 6px;
}

.project-widget-simple .project-summary {
  font-size: 0.9rem;
  margin-bottom: 0.4rem;
}

.projects-container {
  display: block;
  position: relative;
  /*margin-top: 5rem;*/
  overflow: hidden;
}

.project-toolbar{
  margin-bottom: 2rem;
}

.project-item {
  margin-bottom: 1.5rem;
}

.project-showcase .project-item {
  margin-bottom: 3rem;
}

.project-item:last-of-type {
  margin-bottom: 0;
}

.isotope-item {
  z-index: 2;
}

.isotope-item:hover{
  z-index: 3;
}

/*************************************************
 *  Accomplishments
 **************************************************/
 
.course {
  margin-bottom: -0.5rem;
}

.course h6 {
  font-size: 0.80rem;
  font-weight: 700;
  line-height: 1.5;
  text-transform: uppercase;
}

.course h6 a {
  border-bottom: solid 1px transparent;
}

.course h6 a:hover {
  border-bottom: solid 1px;
  text-decoration: none;
}

/*************************************************
 *  Card component
 **************************************************/

.card-simple {
  background: #fff;
  box-shadow: 0 1px 4px rgba(0,0,0,.04);
  border: 1px solid rgba(0,0,0,.09);
  border-radius: 3px;
  margin-top: 20px;
  padding: 15px 20px 15px 20px;
}

.card-simple:first-of-type {
  margin-top: 0;
}

.card-simple p.read-more {
  margin: 0;
}

.dark .card-simple {
  background: rgb(40, 42, 54);
  box-shadow: 0 1px 4px rgba(0,0,0,.04);
  border: 1px solid rgb(68, 71, 90);
}

.card {
  margin-bottom: 1.5rem;
  padding-bottom: 1rem;
  overflow: hidden;
  text-overflow: ellipsis;
  background: #fff;
  box-shadow: 0 2px 4px 0 rgba(0,0,0,0.2);
  transition: all 0.2s ease-out;
}

.card .card-image {
  display: block;
  position: relative;
  min-height: 100px;
}

.card h4 {
  font-size: 0.9rem;
  font-weight: 700;
  line-height: 1.5;
  /*  text-transform: uppercase; */
}

.card h4 a {
  color: #000;
  border-bottom: solid 1px transparent;
}

.card h4 a:hover {
  color: #000;
  border-bottom: solid 1px #000;
  text-decoration: none;
}

.card .card-text {
  padding: 0.5rem 1rem 0.5rem;
}

.card .card-text p {
  color: rgba(0,0,0,0.54);
  font-size: 1rem;
  padding: 0.5rem 1rem 1rem;
}

.dark .card-text p {
  color: rgb(248, 248, 242);
}

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

.card .card-image.hover-overlay:before {
  display: block;
  position: absolute;
  left: 0;
  top: 0;
  width: 100%;
  height: 100%;
  background: #fff;
  content: " ";
  opacity: 0;
  transition: all 0.2s ease-out;
}

.card .card-image.hover-overlay:after {
  display: block;
  position: absolute;
  left: 0;
  top: 50%;
  width: 100%;
  transform: translate(0, -50%);
  opacity: 0;
  transition: all 0.2s ease-out;
  font-family: 'Font Awesome 5 Free';
  font-weight: 900;
  content: '\f0c1';
  text-align: center;
  font-size: 3rem;
  color: #666;
}

.card:hover {
  box-shadow: 0 8px 16px 0 rgba(0,0,0,0.2);
}

.card:hover .card-image.hover-overlay:before {
  opacity: 0.8;
}

.card:hover .card-image.hover-overlay:after {
  opacity: 0.6;
}

.card .panel-body {
  font-size: 0.9rem;
}

.card .post-meta {
  color: #aaa;
}

.row .card {
  margin-left: 0.75rem;
  max-width: 31% !important;
}


/*************************************************
 *  Contact
 **************************************************/

.contact-widget .fa-ul {
  margin-left: 3.14285714rem; /* Must be > `fa-2x` icon size. */
}

.contact-widget .fa-li {
  position: absolute;
  left: -3.14285714rem; /* Negative of `.contact-widget .fa-ul` margin. */
  width: 2rem; /* Match `fa-2x` icon size. */
  top: 0.14285714em; /* Default FA value. */
  text-align: center;
}

.contact-widget li {
  padding-top: 0.8rem; /* Align text with bottom of `fa-2x` icon. */
  margin-bottom: 0.3rem;
}

.contact-widget li:last-of-type {
  margin-bottom: 0;
}

#map {
  height: 350px;
  width: 100%;
}

/*************************************************
 *  Footer
 **************************************************/

#footer {
  position: absolute;
  bottom: 0.25em;
  height: 2.5em; 
  clear: both; 
  margin: auto auto;
  line-height: 2.5em;
  vertical-align: middle;
  width: 100%;
  border-top: 1px dotted #bbb;
  background: white;
}

.dark #footer {
  background-color: hsla(231, 15%, 18%, 1);
}

#footer-section {
  margin-top: 2em;
}

@media screen and (max-width: 576px) {
  #footer {
    max-width: 540px;
  }
}

@media screen and (min-width: 576px) {
  #footer {
    max-width: 510px;
  }
}

@media screen and (min-width: 768px) {
  #footer {
    min-width: 690px;
  }
}

@media only screen and (min-width: 1001px) {
  #footer {
    min-width: 929px;
  } 
}

@media screen and (min-width: 1200px) {
  #footer {
    min-width: 1110px;
  }
}

#footer p {
  font-size: 0.8rem;
  text-align: center;
  color: #bbb;
}

p#footer a  {
  color: #aaf;
}

p.site-info {
  display: inline;
  float: left;
  width: 45%;
}

p.site-logo {
  float: left;
  width: 10%;
}

img.site-logo {
  display: inline;
}

p.site-powered-by {
  float: right;
  width: 45%;
}


/**************************************************
 *  Tags/Labels
 **************************************************/

.badge-light {
  border: none;
  color: rgba(0,0,0,.68);
  background: rgba(0,0,0,.05);
  font-weight: normal;
  border-radius: 3px;
  padding: 5px 10px;
  margin-right: 8px;
  margin-bottom: 8px;
}

.article-tags > .badge-light:last-child {
  margin-right: 0;
}

.badge-light[href]:focus,
.badge-light[href]:hover {
  background: rgba(0,0,0,.1);
}

a.badge:focus,
a.badge:hover {
  color: rgba(0,0,0,.68);
}

/*************************************************
 *  Button size override
 *************************************************/

.btn {
  padding: .5rem;
  font-size: .8rem;
  line-height: .5;
  border-radius: .3rem;
}

.btn-links .btn {
  padding: 5px .5rem 5px .5rem;
  line-height: 1;
}

.btn.btn-sm {
  padding: 5px .4rem 5px .4rem;
  font-size: .6rem;
  border-radius: .2rem;
}

/*************************************************
 *  Button Primary: Color override
 **************************************************/

.btn-primary {
  border-color: #84c5e2;
  background: #84c5e2;
}

.btn-outline-primary {
  border-color: #84c5e2;
  color: #84c5e2;
}

.btn-primary:hover,
.btn-primary:active,
.btn-primary.active,
.btn-primary:visited,
.open > .dropdown-toggle.btn-primary {
  background: #84c5e2;
}

.btn-outline-light:hover,
.btn-outline-light:active,
.btn-outline-light.active {
  background: rgba(0,0,0,0.4);
}

.btn-outline-primary:not(:disabled):not(.disabled).active,
.btn-outline-primary:not(:disabled):not(.disabled):active,
.show > .btn-outline-primary.dropdown-toggle {
  color: #fff;
  background-color: #84c5e2;
  border-color: #84c5e2;
}

.dark .btn-outline-primary:not(:disabled):not(.disabled).active,
.dark .btn-outline-primary:not(:disabled):not(.disabled):active,
.dark .show > .btn-outline-primary.dropdown-toggle {
  color: rgb(68, 71, 90);
}

.btn-outline-primary:hover {
  color: #fff;
  background-color: #84c5e2;
  border-color: #84c5e2;
}

.dark .btn-outline-primary:hover {
  color: rgb(68, 71, 90);
}

/*************************************************
 *  Toolbar Buttons
 **************************************************/

.btn-toolbar .btn {
  font-size: 0.9rem;
  padding: 10px 14px 9px;
  border: none;
}

.btn-toolbar .btn:first-child {
  border-radius: 6px 0 0 6px;
}

.btn-toolbar .btn:last-child {
  border-radius: 0 6px 6px 0;
}

.btn-toolbar .btn.btn-primary:hover,
.btn-toolbar .btn.btn-primary:focus {
  background-color: #768fff !important;
}

.btn-toolbar .btn.btn-primary:active,
.btn-toolbar .btn.btn-primary.active {
  background-color: #0039cb !important;
}

.btn-primary:not(:disabled):not(.disabled).active:focus,
.btn-primary:not(:disabled):not(.disabled):active:focus,
.show > .btn-primary.dropdown-toggle:focus {
  box-shadow: 0 0 0 .2rem #768fff;
}

/*************************************************
 *  Navigation Bar
 **************************************************/

.navbar {
  min-height: 60px !important;
}

.navbar-light {
  background: #fff;
  box-shadow: 0 0.125rem 0.25rem 0 rgba(0,0,0,.11)
}

.navbar-light .navbar-toggler {
  border-color: transparent;
}

.navbar-toggler {
  color: #111111 !important;
}

.navbar-light .navbar-toggler:focus,
.navbar-light .navbar-toggler:hover {
  background-color: transparent;
}

.dropdown-menu,
nav#navbar-main li.nav-item {
  font-size: 16px;
  margin-top: 1ex;
}

.navbar-light .navbar-nav>.nav-item>.nav-link,
.navbar-light .navbar-nav>.nav-item>.nav-link:focus,
.navbar-light .navbar-nav>.nav-item>.nav-link:hover {
  white-space: nowrap;
  -webkit-transition: 0.2s ease;
  transition: 0.2s ease;
  color: #111111;
  font-weight: 600;
}

.dark .navbar-nav>.nav-item>.nav-link,
.dark .navbar-nav>.nav-item>.nav-link:focus,
.dark .navbar-nav>.nav-item>.nav-link:hover {
  color: #fff;
}

.navbar-light .navbar-nav>.nav-item>.nav-link:focus {
  color: #111111;
  background-color: transparent;
}

.navbar-light .navbar-nav>.nav-item>.nav-link:hover {
  color: #58C1F1;
  background-color: transparent;
}

.navbar-light .navbar-nav>li.nav-item>a.active,
.navbar-light .navbar-nav>li.nav-item>a.active:focus,
.navbar-light .navbar-nav>li.nav-item>a.active:hover {
  color: #58C1F1;
  font-weight: 700;
  background-color: transparent !important; /* Override Bootstrap. */
}

.navbar-brand,
.navbar-nav li.nav-item a.nav-link {
  height: inherit;
  padding-top: 12px;
  padding-bottom: 10px;
}

.navbar-brand img {
  max-height: 45px;
}

/* Conditional that switches the display of the logo depending on
whether body has the class 'dark'. */

body.dark .navbar-brand img.light-logo {
  display: none;
}

body:not(.dark) .navbar-brand img.dark-logo {
  display: none;
}

.navbar-light .navbar-toggler .icon-bar {
  background-color: #111111 !important;
}

.dropdown-menu {
  background-color: #fff !important;
}

.dropdown-menu > li > a {
  display: block;
  padding: 3px 20px;
  clear: both;
  font-weight: 400;
  line-height: 1.42857143;
  color: #111111;
  white-space: nowrap;
}

.dropdown-menu>li>a:focus,
.dropdown-menu>li>a:hover {
  color: #58C1F1;
  text-decoration: none;
  background-color: #fff;
}

.dropdown-menu > .active,
.dropdown-menu > .active:focus,
.dropdown-menu > .active:hover {
  color: #fff;
  text-decoration: none;
  background-color: #58C1F1;
  outline: 0;
}

.navbar-light .navbar-nav>.open>a,
.navbar-light .navbar-nav>.open>a:focus,
.navbar-light .navbar-nav>.open>a:hover,
.navbar-light .navbar-nav>.open>a:visited {
  color: #111111 !important;
  background-color: #fff !important;
}

.navbar-light .navbar-brand {
  font-weight: bold;
  font-size: 1.2em;
  color: #111111;
}

.navbar-light .navbar-brand:focus,
.navbar-light .navbar-brand:hover {
  color: #111111;
  background-color: transparent;
}

@media screen and (min-width: 576px) {
  .navbar {
    height: 55px !important;
  }
}

@media screen and (max-width: 992px) and (min-width: 576px) {
  .navbar {
    height: 60px !important;
  }

  .navbar-nav {
    line-height: 1;
  }

  .navbar ul li {
    margin-bottom: 0;
  }

  .navbar-collapse {
    display: block;
    margin-top: 20rem !important;
    padding: 1rem;
    border-left: 1px solid #dedede;
    border-right: 1px solid #dedede;
    border-bottom: 1px solid #dedede;
    border-radius: 6px;
    box-shadow: 4px 4px 8px rgba(0, 0, 0, .2);
    background-color: #fff;
  }
}

@media screen and (max-width: 1200px) and (min-width: 992px)  {
  .navbar {
    height: 60px !important;
    min-height: 55px !important;
  }

  .navbar-brand,
  .navbar-nav li.nav-item a.nav-link {
    height: inherit;
    line-height: 40px;
    padding-top: 5px;
    padding-bottom: 5px;
  }

  .navbar-brand img {
    max-height: 40px;
  }

  .navbar-toggler {
    display: block;
  }

  .fixed-top {
    top: 0;
    border-width: 0 0 1px;
  }

  .navbar-nav > li.nav-item > a.nav-link {
    padding-top: 10px;
    padding-bottom: 10px;
    line-height: normal;
  }

  .dropdown-menu > li > a {
    display: block;
    padding: 3px 20px;
    clear: both;
    font-weight: 400;
    line-height: 1.42857143;
    color: #111111;
    white-space: nowrap;
  }

  .navbar-light .navbar-nav .open .dropdown-menu {
    position: static;
    width: auto;
    margin-top: 0;
    background-color: transparent;
    border: 0;
    box-shadow: none;
  }

  .navbar-light .navbar-nav .open .dropdown-menu > li > a {
    padding: 5px 15px 5px 25px;
    line-height: 20px;
    color: #111111;
  }

  .navbar-light .navbar-nav .open .dropdown-menu > li > a:focus,
  .navbar-light .navbar-nav .open .dropdown-menu > li > a:hover {
    color: inherit;
    background-color: transparent;
  }

  .navbar-light .navbar-nav .open .dropdown-menu >.nav-item> .active,
  .navbar-light .navbar-nav .open .dropdown-menu >.nav-item> .active:focus,
  .navbar-light .navbar-nav .open .dropdown-menu >.nav-item> .active:hover {
    color: #58C1F1;
    background-color: transparent;
  }

  .collapse.in {
    display: block !important;
  }
}

/*************************************************
 *  Tables
 **************************************************/

table {
  width: 95%;
  max-width: 100%;
  font-size: 0.93rem;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 1rem;
}

table > thead > tr > th,
table > tbody > tr > th,
table > tfoot > tr > th,
table > thead > tr > td,
table > tbody > tr > td,
table > tfoot > tr > td {
  padding: 8px;
  line-height: 1.43;
  vertical-align: baseline;
}

table > thead > tr > th {
  vertical-align: bottom;
  border-bottom: 2px solid #ddd;
}

table > caption + thead > tr:first-child > th,
table > colgroup + thead > tr:first-child > th,
table > thead:first-child > tr:first-child > th,
table > caption + thead > tr:first-child > td,
table > colgroup + thead > tr:first-child > td,
table > thead:first-child > tr:first-child > td {
  border-top: 0;
}

table thead {
  border-top: 2px solid #aaa;
}

table tr:last-child {
  border-bottom: 2px solid #aaa;
}

table > tbody + tbody {
  border-top: 2px solid #ddd;
}

table table {
  background-color: #fff;
}

/* Table Striped */
table > tbody > tr:nth-child(odd) > td,
table > tbody > tr:nth-child(odd) > th {
  background-color: #f9f9f9;
}

.dark table {
  color: #ddd;
}


/*************************************************
 *  Alerts
 **************************************************/

div.alert > div {
  position: relative;
  display: block;
  font-size: 1rem;
  margin-left: 2rem;
  margin-top: 0;
  margin-bottom: 0;
}

div.alert div > * {
  margin-bottom: .5rem;  /* Use smaller paragraph spacing than usual. */
}

div.alert div > :last-child {
  margin-bottom: 0;
}

div.alert > div:first-child::before {
  position: absolute;
  top: -0.5rem;
  left: -2rem;
  font-size: 1.5rem;
  color: #209cee;
  font-family: 'Font Awesome 5 Free';
  font-weight: 900;
  content: '\f05a';
  width: 1.5rem;
  text-align: center;
}

div.alert-warning > div:first-child::before {
  font-family: 'Font Awesome 5 Free';
  font-weight: 900;
  color: #ff3860;
  content: '\f071';
}

div.alert a {
  color: currentColor;
  text-decoration: none;
  border-bottom: solid 1px currentColor;
}

.alert-note {
  color: #12537e;
  background-color: #f6fbfe;
  border-color: #209cee;
}

.alert-warning {
  color: #cd0930;
  background-color: #fff5f7;
  border-color: #ff3860;
}

.toc {
  max-width: 34%;
  min-width: 25%;
  z-index: 100;
  display: block;
  float: right;
  font-size: smaller;
  background-color: #fff;
}

.dark .toc {
  background: rgb(40, 42, 54);
}

.toc-border {
  border: 1px dotted #aaa;
  border-radius: 0.5em;
  border-spacing: 0.75em;
  margin-left: 1rem;
  margin-bottom: 1rem;
  padding-top: 0.5rem;
}

.toc-title {
  display: block;
  font-style: oblique;
  text-align: center;
  text-decoration: underline;
  margin-bottom: 0;
}

.toc-contents {
  display: table;
  margin-top: -1em;
  margin-left: auto;
  margin-right: auto;
}

#TableOfContents {
}

#TableOfContents ul {
  padding-inline-start: 0;
  margin-bottom: 0;
}

#TableOfContents li {
  display: block;
  margin-top: 0;
  margin-bottom: 0;
}

#TableOfContents a {
  display: list-item;
  list-style-type: disc; 
  list-style-position: inside;
  text-indent: -0.8rem;
  padding-left: 0.8rem;
  line-height: 120%;
}

#TableOfContents ul li {
  margin-top: 0.25rem;
}

#TableOfContents code {
  background-color: #fff !important;
  font-size: 100%;
  padding-right: 0;
  padding-left: 0;
}

.dark #TableOfContents code {
  background-color: rgb(40, 42, 54) !important;
}

/* Docs achnorjs links. */

.anchorjs-link {
  font-weight: 400;
  color: #0039cb;
  transition: color .16s linear;
}

.anchorjs-link:hover {
  color: #84c5e2;
  text-decoration: none;
}

/*************************************************
 *  Dark themed components
 **************************************************/

body.dark,
.dark .docs-toc-link,
.dark .docs-sidebar .nav > li:not(.active) > a,
.dark .modal button.close,
.dark input,
.dark .form-control,
.dark .form-control:focus {
  color: rgb(248, 248, 242);
  background: rgb(40, 42, 54);
}

.dark .form-control {
  background-color: rgb(68, 71, 90);
}

.dark .form-control:focus {
  background-color: rgb(68, 71, 90);
  border-color: #84c5e2;
  box-shadow: 0 0 0 .2rem #0039cb;
}

.dark b, .dark strong {
  color: #eee;
}

.dark p,
.dark div.col {
  color: #ccc;
}

.dark h1,
.dark h2,
.dark h3,
.dark h4,
.dark h5,
.dark h6 {
  color: #ffffff;
}

.dark pre,
.dark code {
  color: rgb(139, 233, 253);
  background-color: rgb(68, 71, 90);
}

.dark pre {
  background-color: rgb(68, 71, 90);
  border-color: rgb(68, 71, 90);
}

.dark .markup-quote {
  background-image: linear-gradient(to bottom, rgba(233, 231, 245, 0.2), rgba(233, 231, 245, 0.2));
}

.dark #MathJax_Zoom {
  background-color: rgb(68, 71, 90) !important;
}

.dark ul.share li a {
  background-color: #84c5e2;
}

.dark table table {
  background-color: rgb(40, 42, 54);
}

/* Table Striped */
.dark table > tbody > tr:nth-child(odd) > td,
.dark table > tbody > tr:nth-child(odd) > th {
  background-color: rgb(50, 52, 64);
}

/* Table Hover */
.dark table > tbody > tr:hover > td,
.dark table > tbody > tr:hover > th {
  background-color: rgb(60, 62, 74);
}

.dark .article-title a {
  color: #fff;
}

.dark #profile .portrait-title h2 {
  color: #fff;
}

.dark #profile .portrait-title h3 {
  color: rgba(255, 255, 255, 0.54);
}

.dark ul.ul-edu li .description p.institution {
  color: rgba(255, 255, 255, 0.6);
}

.dark .pub-icon {
  color: rgba(255, 255, 255, 0.54);
}

.dark .talk-metadata {
  color: rgba(255, 255, 255, 0.54);
}

.dark .pagination li > a, .pagination li > span {
  background-color: rgb(40, 42, 54);
  border: 1px solid #ddd;
}

.dark .card {
  background: #343a40;
}

.dark .card h4 a {
  color: #84c5e2;
  border-bottom: solid 1px transparent;
}

.dark .card .card-image.hover-overlay::before {
  background: #666;
}

.dark .card .card-image.hover-overlay::after {
  color: #fff;
}

.dark .navbar-light {
  box-shadow: 0 0.125rem 0.25rem 0 rgba(255, 255, 255, .11);
  border-color: #070707;
}

.dark select {
  background: rgb(40, 42, 54);
  color: rgb(248, 248, 242);
}

/* Algolia search input */
.dark .ais-search-box--input {
  background-color: rgb(68, 71, 90);
}

.dark #search-query {
  background-color: rgb(68, 71, 90);
}

.dark .badge-light {
  color: rgba(255, 255, 255, .68);
  background: rgba(255, 255, 255, .2);
}

.dark .badge-light[href]:focus,
.dark .badge-light[href]:hover {
  background: rgba(255, 255, 255, .3);
}

.dark a.badge:focus,
.dark a.badge:hover {
  color: rgba(255, 255, 255, .68);
}

.dark .btn-primary,
.dark .btn.btn-primary.active {
  color: initial;
}

.dark hr {
  background: #ddd;
  background-image: linear-gradient(to right, #333, #ccc, #333);
}


/*************************************************
 * Extra things for use with Bootstrap 3 in SBML.org
 * The following information resources help understand what Bootstrap provides:
 * https://getbootstrap.com/docs/4.1/layout/grid/
 **************************************************/

.row.row-gutter {
  margin-top: 15px;
  margin-bottom: 15px;
}

.row.row-big-gutter {
  margin-top: 25px;
  margin-bottom: 25px;
}


/*************************************************
 *  Extra SBML things
 **************************************************/

.sbml-blue {
  color: #84c5e2;
}

a:visited {
  color: #83c4e6;
}

/* The next definition is for fontawesome icons. */

i[class ^= "fa-"],
a i[class ^= "fa-"],
a:visited i[class ^= "fa-"] {
  color: #84c5e2;
  text-shadow: 1px 2px 2px #cfcfcf;
  text-align: center;
}

.dark i[class ^= "fa-"],
.dark a i[class ^= "fa-"],
.dark a:visited i[class ^= "fa-"] {
  color: #84c5e2;
  text-shadow: 1px 2px 2px #000;
  text-align: center;
}


code, pre, .hljs {
  color: #000000;
  background-color: #eeeeee;
}

.rounded-corners {
  border: 1px solid #dedede;
  border-radius: 0.5rem;
}

/* For img that are screenshots */
img.screenshot {
  margin: 1rem auto;
  max-width: 90%;
  box-shadow: 0 4px 6px 0 rgba(0,0,0,0.3);
}

img.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
}


table {
  margin-top: 1rem;
  margin-bottom: 1rem;
}

table.no-borders thead {
  border-top: none;
}

table.no-borders tr:last-child {
  border-bottom: none;
}

table.tight-spacing {
  line-height: 1.3;
}

table.tight-spacing td {
  padding: 4px;
}

table.middle-aligned td {
  vertical-align: middle;
}

table.no-striping > tbody > tr:nth-child(odd) > td,
table.no-striping > tbody > tr:nth-child(odd) > th {
  background-color: transparent;
}

.dark table.no-striping > tbody > tr:nth-child(odd) > td,
.dark table.no-striping > tbody > tr:nth-child(odd) > th {
  background-color: transparent;
}

a > b, a > strong {
  color: #5090b2;
}

.dark a {
  color: #5090b2;
}

.dark .article-style {
  color: #0039cb;
}

.dark .article-title a {
  color: #0039cb;
}

.dark a > b, .dark a > strong {
  font-weight: 500;
  color: #5090b2;
}

h2 {
  border-bottom: 1px dotted #ccc;
}

/* This is for the date next to news items on /news */
h2 span.article-date {
  display: inline-block;
  float: right;
  font-size: 0.8rem;
  margin-top: 0.5rem;
  color: #aaa;
}

#news h3 {
  font-style: normal;
}

.sbml-frontpage-news {
  margin-top: 2em !important;
}

.sbml-more-news-link {
  float: right;
  font-size: smaller;
  font-style: oblique;
  color: #aaa;
}

.sbml-spec-box {
  border: 1px solid #83c4e6; 
  border-radius: 0.5em;
  padding: 1em;
  margin-top: 1em;
  margin-bottom: 1em;
}

.sbml-spec-tag {
  display: table;
  color: white;
  text-transform: uppercase;
  background-color: #83c4e6;
  border-radius: 4px; 
  font-style: oblique;
  font-weight: normal;
  padding-left: 0.25em;
  padding-right: 0.35em;
}

.sbml-spec-title {
  display: table;
  font-weight: bold;
  overflow-wrap: break-word;
  margin: 0.3em auto 0.3em 0;
}

.sbml-spec-authors {
  color: #5f99a7;
}

.sbml-spec-authors-label {
  font-style: italic;
  color: #999;
}

.sbml-spec-description {
  font-style: italic;
  margin: 0.3em auto 0.3em 0;
  color: #999;
}

.sbml-spec-description strong,
.sbml-spec-description b {
  color: #555;
}

.dark .sbml-spec-description strong,
.sbml-spec-description b {
  color: #ccc;
}

.sbml-spec-link {
  display: inline-block;
  margin: 0.75em 1em 0.5em 1em;
}

.sbml-spec-link-box {
  vertical-align: top;
  text-align: center;
}

.sbml-spec-citation-box {
  color: #bd8b67;
  vertical-align: top;
  text-align: left;

  /* The following are to allow URLs to break across lines. Obtained 2020-04-17
     from https://css-tricks.com/snippets/css/prevent-long-urls-from-breaking-out-of-container/
   */
  overflow-wrap: break-word;
  word-wrap: break-word;
  -ms-word-break: break-all;
  word-break: break-word;
  -ms-hyphens: auto;
  -moz-hyphens: auto;
  -webkit-hyphens: auto;
  hyphens: auto;
}

.sbml-spec-citation-label {
  font-style: italic;
  color: #999;
}

.sbml-spec-citation-text {
  display: inline;
  padding-right: 0.5em;
}

.sbml-spec-citation-text:after {
  content: ".";
}

.sbml-spec-citation-downloads {
}

.sbml-package-table td {
  margin-left: 1rem;
}

.sbml-ptable-col-name {
  width: 12em;
}

.sbml-ptable-col-label {
  width: 6em;
  font-family: 'IBM Plex Mono', monospace;
}

.sbml-ptable-col-description {
  width: 50%;
}

.sbml-spec-status-draft {
  color: #DEbD4C;
}

.sbml-spec-status-final {
  color: #5fb9a7;
  font-weight: bold;
}

.sbml-spec-status-not-started {
  color: #A41010;
}

.alert-box {
  margin: 1rem auto;
  display: table;
  border-radius: 0.5em;
  border-spacing: 0.75em;
  border-collapse: separate;
}

.alert-box i[class ^= "fa-"],
.alert-box a i[class ^= "fa-"],
.alert-box a:visited i[class ^= "fa-"] {
  padding: 0.25em;
  display: table-cell;
  vertical-align: middle;
}

.alert-box-text {
  display: table-cell;
  padding: 0.5em auto;
  vertical-align: middle;
}

.alert-box-text strong {
  color: black;
}

.alert-box .alert-danger {
  color: #cd0930;
}

.alert-danger {
  background-color: #fef2f2;
}

.alert-box .alert-info {
  color: #73b4d6;
}

.alert-info {
  background-color: #e9f4ff;
}

.alert-box .alert-warning {
  color: #af9e7a;
}

.alert-warning {
  color: #7f6e4a;
  background-color: #fffae7;
}

.dark .alert-box .alert-warning {
  color: #7f6e30;
  background-color: #fff0a7;
}

.dark .alert-box.alert-warning {
  color: #7f6e30;
  background-color: #fff0a7;
}

.alert-box .alert-notice {
  color: #000;
}

.alert-notice {
  background-color: #f0f4f6; 
  border: 1px solid #ccc;
}

.twitter-box-outer {
  display: block; 
  float: right; 
  margin: 0.5rem auto auto 2rem; 
  padding-bottom: 2rem;
  background-color: rgb(255, 255, 255);
}

.twitter-box-inner {
  z-index: 100;
  padding: 0.5rem;
  border: 1px solid #ddd; 
  border-radius: 6px;
  background-color: rgb(255, 255, 255);
}

body.dark .twitter-box-outer {
  background-color: hsla(231, 15%, 18%, 1);
}

body.dark .twitter-box-inner {
  background-color: hsla(231, 15%, 18%, 1);
}

.twitter-box-heading {
  margin-bottom: 0.5rem; 
  padding-top: 0.25em;
  padding-left: 0.5rem;
}

.decorated-text:first-of-type {
  margin-top: 1.25rem;
}

.no-padding {
  padding: 0 !important;
}

.boxed-text {
  margin: 1rem auto;
  padding: 0.75rem;
  border: 1px solid #ccc;
  border-radius: 4px;
  width: 95%;
  background-color: #f0f4f6; 
}

.sbml-software-links-box {
  vertical-align: top;
  text-align: center;
  margin: 1rem auto 0.75rem auto;
}

.sbml-software-link {
  display: inline-block;
  margin: 0.75rem 0.25rem 0.5rem 0.25rem;
  height: 63px;
  min-width: 10%;
}

@media screen and (min-width: 500px) {
  .sbml-software-links-box {
    width: 95%;
  }
  .sbml-software-link {
    margin: 0.75rem 0.5rem 0.5rem 0.5rem;
  }
}

@media screen and (min-width: 576px) {
  .sbml-software-link {
    margin: 0.75rem 0.75rem 0.5rem 0.75rem;
  }
}

@media screen and (min-width: 576px) {
  .sbml-software-links-box {
    width: 100%;
  }
}

.sbml-software-icon img {
  margin: auto 1rem 1rem 1rem;
}

.sourceforge-icon:before {
  content: url("/img/sourceforge-logo.png");
  transform: translate(-0.1rem, -0.25rem) scale(0.12);    
  width: 14px;
  height: 14px;
  display: block;
  position: relative;
  -webkit-filter: drop-shadow(10px 12px 6px rgba(220, 220, 220, 1));
  filter        : drop-shadow(10px 12px 6px rgba(220, 220, 220, 1));
  -ms-filter    : "progid:DXImageTransform.Microsoft.Dropshadow(OffX=0, OffY=2, Color='#444')";
  filter        : "progid:DXImageTransform.Microsoft.Dropshadow(OffX=0, OffY=2, Color='#444')";
}

@media screen and (min-width: 768px) {
  .sourceforge-icon:before {
    transform: translate(0.5rem, -0.2rem) scale(0.12);
  }
}

@media only screen and (min-width: 992px) {
  .sourceforge-icon:before {
    transform: translate(1rem, -0.1rem) scale(0.13);
  }
}

@media only screen and (min-width: 1200px) {
  .sourceforge-icon:before {
    transform: translate(1.55rem, -0.1rem) scale(0.13);
  }
}

.blurb img {
  margin-top: -0.25em;
  margin-bottom: -0.25em;
}

/* The following CSS originally came from a posting by Sinan Ünür to
   Stack Overflow on 2011-11-17: https://stackoverflow.com/a/8160532/743730
   I modified it to change the spacing and font used.
*/

.latex {
  font-family: serif;
}

.tex sub, .latex sub, .latex sup {
  text-transform: uppercase;
}

.tex sub, .latex sub {
  vertical-align: 0.1ex;
  margin-left: -0.1em;
  margin-right: -0.1em;
}

.tex, .latex, .tex sub, .latex sub {
  font-size: 1em;
}

.latex sup {
  font-size: 0.85em;
  vertical-align: -0.75ex;
  margin-left: -0.4em;
  margin-right: -0.1em;
}

.program-name {
  font-family: 'IBM Plex Mono', monospace;
  font-weight: 500;
  letter-spacing: -0.1ex;

}

.reference {
  display: block;
  font-size: 0.9em;
  width: 95%;
  margin-top: 1.5em;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 1.5em;
}

.reference.highlight {
  padding: 0.5em;
  padding-top: .5em;
  margin-top: 1em;
  border-radius: 0.5em;
  background-color: #f0f4f6; 
}

.dark .reference.highlight {
  background-color: hsla(231, 15%, 18%, 1);
  filter: brightness(80%);
  color: #dfdfdf;
}

.dark .reference.highlight a {
  color: #93d4f6;

}

.dark .reference.highlight a:visited {
  color:  #5593c0;
}

.reference-authors {
  display: block;
  margin-left: 2.5em;
  margin-top: 0.25em;
}

.reference-authors:before {
  content: "Author(s): ";
  font-style: italic;
  color: #9a9a9a;
}

.reference-pub {
  display: block;
  margin-top: 0.25em;
  margin-left: 2.5em;
}

.reference-pub:before {
  content: "Publication: ";
  font-style: italic;
  color: #9a9a9a;
}

.reference-summary {
  display: block;
  margin-top: 0.25em;
  margin-left: 2.5em;
}

.reference-summary:before {
  content: "Summary: ";
  font-style: italic;
  color: #9a9a9a;
}

.reference-icon {
  float: left;
  padding-bottom: 0;
  font-size: 120%;
}

.reference-title {
  display: block;
  font-weight: bold;
  margin-left: 2.5em;
}

.reference-downloads {
  display: block;
  margin-top: 0.25em;
  margin-left: 2.5em;
}

.reference-downloads:before {
  content: "Download reference: ";
  font-style: italic;
  color: #9a9a9a;
}

.reference-downloads a {
  margin-left: 0.25em;
}

.reference-bibtex { 
  display: inline-block;
  padding-left: 0;
  margin-right: 0.25em;
}

.reference-bibtex .fa-file-download {
  margin-right: 0.1em;
}

.reference-endnote { 
  margin-left: 0.25em;
  padding-left: 0;
}

.reference-endnote .fa-file-download {
  margin-right: 0.1em;
}

.file-download .fa-file-download {
  margin-right: 0.25em;
  display: inline-block;
}

.sbml-package-status {
  width: 100%;
  border: 1px solid #ccc;
  border-radius: 0.5em;
  border-collapse: separate;
  margin-top: 2em;
  table-layout: fixed;
}

.sbml-package-status caption {
  caption-side: bottom;
  text-align: center;
  font-style: oblique;
}

.sbml-package-status-name {
  font-weight: bold;
  color: black;
}

.sbml-package-status-url {
  letter-spacing: -0.05ex;  

  /* The following are to allow URLs to break across lines. Obtained 2020-04-17
     from https://css-tricks.com/snippets/css/prevent-long-urls-from-breaking-out-of-container/
   */
  overflow-wrap: break-word;
  word-wrap: break-word;
  -ms-word-break: break-all;
  word-break: break-word;
  -ms-hyphens: none;
  -moz-hyphens: none;
  -webkit-hyphens: none;
  hyphens: none;
}

.sbml-package-status-description:after {
  content: ".";
}

.sbml-package-status-draft  {
  color: #DEbD4C;
}

.sbml-package-status-draft:after  {
  content: ".";
}

.sbml-package-status-final  {
  color: #5fb9a7;
  font-weight: bold;
}

.sbml-package-status-final:after  {
  content: ".";
}

.sbml-package-status-not-started  {
  color: #A41010;
}

.sbml-package-status-not-started:after  {
  content: ".";
}

.sbml-package-status-citation:after  {
  content: ".";
}

.sbml-package-status-schema:after  {
  content: " ( ← follow this link).";
}

.sbml-package-status-libsbml:after  {
  content: ".";
}

.sbml-package-status-jsbml:after  {
  content: ".";
}

.sbml-package-status-label  {
  font-weight: bold;
}

.sbml-package-status-please-cite {
  font-weight: bold;
  color: black;
  color: #641010;
}

.sbml-package-status-please-cite i[class ^= "fa-"] {
  display: none;
  color: #7f6e4a;
  float: left;
  margin-right: 0.1em;
  margin-top: 0.25em;
}

table.sbml-package-status.tight-spacing,
table.sbml-package-status.tight-spacing > thead > tr > th,
table.sbml-package-status.tight-spacing > tbody > tr > th,
table.sbml-package-status.tight-spacing > tfoot > tr > th,
table.sbml-package-status.tight-spacing > thead > tr > td,
table.sbml-package-status.tight-spacing > tbody > tr > td {
  line-height: 1.2 !important;
}

.sbml-pkg-diagram {
  width: 95%;
  margin: 2em auto;
}

.sbml-issue-location {
  text-align: center;
  width: 12em;
}

.sbml-issue-date {
  text-align: center;
}

ol ol > li {
  list-style-type: lower-alpha;
  counter-increment: item;
}

dd {
  margin-left: 1.5em;
  margin-right: 1em;
}

dt {
  font-style: italic;
  color: #111111;
}

.footer-github a i.fab.fa-github.fa-2x {
  vertical-align: middle;
  margin-left: 0.15em;
  margin-bottom: 0.2em;
  font-size: 1.8em;
}