/* custom.css */

:root {
  /* from code.pyret.org */
  --pyret-run-blue: #317bcf;
  --pyret-stop-red: #CF3B31;

  --pyret-serif: 'EB Garamond', 'Adobe Garamond Pro', serif;
}

body > div:first-of-type {
  padding-top: 66px;
}

h2 {
  text-align: center;
  color: white;
  background-color: var(--pyret-run-blue);
  margin-top: 1em;
  margin-bottom: 1em;
  padding: 0.25em;
  box-shadow: inset 0 0 0 3px white;
  border: 3px solid var(--pyret-run-blue);
}

.anchor-target {
  scroll-margin-top: 5em;
}


ul.custom-bullets {
    list-style-type: square; /* Options: disc, circle, square, none */
}

a:active, a:focus {
  outline: 0;
}

code {
  color: black;
  background-color: #eee;
  font-size: 11pt;
}

/* When highlighted code blocks are too wide, they wrap. Resulting in the */
/* line numbers column's rows not lining up with the code rows. Prevent */
/* wrapping. */
pre {
  white-space: pre;
  font-family: 'Hack', monospace;
  overflow-x: auto;
  overflow-y: hidden;
}

.navbar {
  background-color: #eee;
  border: 0px;
  margin-bottom: 0px;
  width: 100%;
  position: fixed;
  height: 5em;
}

img.navbar-logo {
  height: 2em;
}

img.title-logo {
  width: 80%;
  padding-bottom: 1em;
}

.navbar-nav {
  float: right !important;
  margin: 7.5px -15px;
}

.navbar-nav>li>a {
  color: #111 !important;
}

/* Credit to Ian Lunn for Hovering CSS3 Code */

.fancyhover-above,
.fancyhover-below {
  display: inline-block;
  vertical-align: middle;
  -webkit-transform: translateZ(0);
  transform: translateZ(0);
  box-shadow: 0 0 1px rgba(0, 0, 0, 0);
  -webkit-backface-visibility: hidden;
  backface-visibility: hidden;
  -moz-osx-font-smoothing: grayscale;
  position: relative;
  overflow: hidden;
}
.fancyhover-above:before {
  content: "";
  position: absolute;
  z-index: -1;
  left: 0;
  right: 0;
  top: 0;
  background: #0c46ff;
  height: 4px;
  -webkit-transform: translateY(-4px);
  transform: translateY(-4px);
  -webkit-transition-property: transform;
  transition-property: transform;
  -webkit-transition-duration: 0.3s;
  transition-duration: 0.3s;
  -webkit-transition-timing-function: ease-out;
  transition-timing-function: ease-out;
}

.fancyhover-above:hover:before,
.fancyhover-above:focus:before,
.fancyhover-above:active:before,
.fancyhover-below:hover:before,
.fancyhover-below:focus:before,
.fancyhover-below:active:before {
  -webkit-transform: translateY(0);
  transform: translateY(0);
}

.fancyhover-below {
  display: inline-block;
  vertical-align: middle;
  -webkit-transform: translateZ(0);
  transform: translateZ(0);
  box-shadow: 0 0 1px rgba(0, 0, 0, 0);
  -webkit-backface-visibility: hidden;
  backface-visibility: hidden;
  -moz-osx-font-smoothing: grayscale;
  position: relative;
  overflow: hidden;
}

.fancyhover-above:before,
.fancyhover-below:before {
  content: "";
  position: absolute;
  z-index: -1;
  left: 0;
  right: 0;
  background: var(--pyret-run-blue);
  height: 4px;
  -webkit-transition-property: transform;
  transition-property: transform;
  -webkit-transition-duration: 0.3s;
  transition-duration: 0.3s;
  -webkit-transition-timing-function: ease-out;
  transition-timing-function: ease-out;
}

.fancyhover-above:before {
  top: 0;
  -webkit-transform: translateY(-4px);
  transform: translateY(-4px);
}

.fancyhover-below:before {
  bottom: 0;
  -webkit-transform: translateY(4px);
  transform: translateY(4px);
}

.btn-primary {
  color: #444;
  background-color: transparent;
  border-color: transparent;
  font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
}

.btn-primary:hover,
.btn-primary:focus,
.btn-primary:active {
  background-color: transparent;
  border-color:transparent;
  color: inherit;
}

.hvr-border-fade {
  line-height: inherit;
  display: inline-block;
  vertical-align: middle;
  -webkit-transform: translateZ(0);
  transform: translateZ(0);
  box-shadow: 0 0 1px rgba(0, 0, 0, 0);
  -webkit-backface-visibility: hidden;
  backface-visibility: hidden;
  -moz-osx-font-smoothing: grayscale;
  -webkit-transition-duration: 0.3s;
  transition-duration: 0.3s;
  -webkit-transition-property: box-shadow, color;
  transition-property: box-shadow, color;
  box-shadow: inset 0 0 0 2px var(--pyret-stop-red), 0 0 1px rgba(0, 0, 0, 0);
  /* Hack to improve aliasing on mobile/tablet devices */
}
.hvr-border-fade:hover, .hvr-border-fade:focus, .hvr-border-fade:active {
  box-shadow: inset 0 0 0 2px var(--pyret-stop-red), 0 0 1px rgba(0, 0, 0, 0);
  /* Hack to improve aliasing on mobile/tablet devices */
  color: var(--pyret-stop-red);
}

.popover-title {
  word-break: normal;
}

.info {
  background-color: #669;
  color: white;
  padding: 2px;
  border-radius: 3px;
  cursor: pointer;
}

h1 {
  font-size: 24px;
}

div.carousel {
  height : 100%;
  min-height : 100%;
}

a.carousel-control {
  text-shadow: none;
}

a.carousel-control.right {
  color : #111;
  background-color : transparent;
  background-image : none;
}

a.carousel-control.left {
  color : #111;
  background-color : transparent;
  background-image : none;
}

#main-carousel {
  min-width : 20em;
}

div.carousel-inner pre {
  min-width : 28em;
}

div.carousel-inner pre {
  margin-left : 3em;
  margin-right : 3em;
  height : 25em;
}




h3 {
  font-size: 18px;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

.tab-box {
  padding: 1em;
}

.examples-tab-top {
  border-top: 3px solid var(--pyret-stop-red);
  background: linear-gradient(180deg, #eee, white);
}

div.examples-tab-top {
  margin: 0;
  padding: 0;
}
div.examples-pills {
  margin: 0;
  padding: 0;
}

.examples-pills .nav-pills .nav-link {
  color: #111;
}

.examples-pills .nav-pills .nav-link:hover {
  color: var(--pyret-stop-red);
  text-shadow: 1px 1px 1px #ccc;
}

.examples-pills .nav-pills .nav-link.active:hover {
  text-shadow: none;
}

.examples-pills .nav-pills .nav-link.active {
  background-color: var(--pyret-stop-red);
  color: white;
}

.embed-container iframe {
  overscroll-behavior: contain;
  overflow-anchor: auto;
}

.examples-pills .nav-border {
  border-bottom: 0;
  margin-bottom: -3px;
  background: #eee;
  border-radius: 0.25rem 0.25rem 0 0;
  border: 3px solid var(--pyret-stop-red);
  border-bottom: 0;
  padding-top: 0.25rem;
}

/* This is created by Pollen, why not use it! */
root {
  /* 48px from Bootstrap + 66px from Navbar (30px padding + 36px image)*/
  padding-top: 5em !important;
  display: block;
}

blockquote {
    margin-block-start: 1em;
    margin-block-end: 1em;
    margin-inline-start: 40px;
    margin-inline-end: 40px;
}

li.shown-pill {
  display: block;
}

li.hidden-pill {
  display: none;
}

#examplesTabsContent p {
  font-family: var(--pyret-serif);
  font-size: 12pt;
}

.modal-fullscreen {
  margin-top: 2em;
  margin-left: 2em;
  width: calc(100vw - 4em);
  height: max(auto, calc(100vh - 4em));
}

.jumbotron p {
  font-family: var(--pyret-serif);
  font-size: 14pt;
}

.jumbotron {
  padding: 30px;
  margin-bottom: 30px;
  color: inherit;
  background-color: #eee;
  box-sizing: border-box;
}

pre.pyret-example {
  display: block;
  padding: 9.5px;
  margin: 0px 0px 10px;
  font-size: 13px;
  line-height: 1.428571;
  color: rgb(51, 51, 51);
  word-break: break-all;
  overflow-wrap: break-word;
  background-color: rgb(245, 245, 245);
  border: 1px solid rgb(204, 204, 204);
  border-radius: 4px;
}

button.runnable-pyret {
  background-color: var(--pyret-run-blue);
  color: #eee;
  border: none;
  border-radius: 0.25rem;
  display: block;
  width: 80%;
  margin: 0 auto;
}

.feature p {
  font-family: var(--pyret-serif);
  font-size: 14pt;
}

div.feature {
  padding-bottom: 1em;
  padding-top: 1em;
}