@import url('https://fonts.googleapis.com/css?family=Cutive');
@import url('https://fonts.googleapis.com/css?family=Nunito');
body {
  font-family: Nunito, sans-serif;
  color: white;
  background: #666;
}
#page {
  position: relative;
  background: #333;
  border: 2px solid black;
  width: 100%;
  min-height: 100vh;
  box-sizing: border-box;
  padding: 0;
  margin: 0;
  display: grid;
  grid-template-columns: auto;
  grid-template-rows: 96px auto 1em;
  grid-template-areas: "header" "main" "footer";
}
@media screen and (min-width: 768px) {
  #page {
    max-width: 960px;
    margin: 0 auto;
    grid-template-columns: auto 16em;
    grid-template-areas: "header header" "main nav" "footer footer";
  }
}
#header {
  grid-area: header;
  position: relative;
  font-family: Cutive, serif;
  text-shadow: 2px 2px black;
  background-image: url('delaware-bay.png');
  background-position: center center;
  background-repeat: no-repeat;
  border-bottom: 1px solid black;
  padding: 1em 0 0 1em;
}
#header .name {
  font-size: 100%;
  margin: 0;
}
#header .title {
  font-size: 85%;
}
#header .college {
  font-size: 65%;
  padding-top: 4px;
}
#header .photo-credit {
  display: none;
}
@media screen and (min-width: 768px) {
  #header .photo-credit {
    display: block;
    position: absolute;
    right: 0.5em;
    top: 0.5em;
    font-family: Nunito, sans-serif;
    font-size: 12px;
    font-style: italic;
    text-shadow: none;
    padding: 2px 4px;
    border-radius: 4px;
    color: #ccc;
    background: rgba(0, 0, 0, 0.3);
  }
}
#main {
  color: black;
  background: white;
  grid-area: main;
  overflow-x: auto;
}
#main-content {
  margin: 0;
  padding: 1em;
}
#main-content h1,
#main-content h2,
#main-content h3,
#main-content p,
#main-content table,
#main-content ul {
  margin: 1em 0;
}
#main-content > div {
  margin: 1em 0;
}
#main-content h1,
#main-content h2 {
  font-family: Cutive, serif;
  font-size: 100%;
  border-bottom: 1px solid black;
  background: #fdad64;
  background: linear-gradient(#ffffff, #dae4cb);
  padding: 8px 4px 0 4px;
}
#main-content h3 {
  font-size: 100%;
  font-weight: bold;
  font-style: italic;
  text-decoration: underline;
}
#main-content table.compressed {
  font-size: 80%;
}
#main-content table th,
#main-content table td {
  text-align: left;
  vertical-align: top;
  padding: 0 1ex;
}
#main-content table th a,
#main-content table td a {
  text-decoration: none;
}
#main-content table th.center,
#main-content table td.center {
  text-align: center;
}
#main-content table th {
  text-decoration: underline;
}
#main-content table td {
  border-bottom: 1px solid silver;
}
#main-content table td > code {
  white-space: pre;
}
#nav {
  background: #333;
}
#nav ul {
  margin: 0;
  padding: 0;
  list-style: none;
  border-top: 1px solid silver;
}
#nav ul li {
  border-bottom: 1px solid silver;
}
#nav ul a {
  display: block;
  padding: 4px 1em;
  color: white;
  text-decoration: none;
}
@media screen and (max-width: 767px) {
  #nav {
    position: absolute;
    right: 0;
    top: 0;
    width: 360px;
  }
  #nav .menu-icon {
    position: absolute;
    top: 8px;
    right: 16px;
    z-index: 10;
    width: 32px;
    height: 32px;
    border: 1px solid black;
    border-radius: 4px;
    background: #333;
  }
  #nav ul {
    display: none;
    position: absolute;
    top: 44px;
    right: 16px;
    width: 304px;
    z-index: 10;
    background: #333;
  }
  #nav.active ul {
    display: block;
  }
}
@media screen and (min-width: 768px) {
  #nav {
    grid-area: nav;
  }
  #nav .menu-icon {
    display: none;
  }
}
#footer {
  grid-area: footer;
  font-size: 65%;
  font-style: italic;
  text-align: center;
  color: silver;
  background: #333;
  padding: /*4px*/ 0;
  margin: 0;
  border-top: 1px solid #333;
}
div.ui-dialog input {
  color: black;
}
a.nav,
ul.nav a {
  color: blue;
  text-decoration: none;
}
a.nav:hover,
ul.nav a:hover {
  color: red;
}
#regex input[type="text"] {
  font-size: 20px;
  font-family: monospace;
  color: #666;
  border: 1px solid #333;
  border-radius: 4px;
  box-shadow: 2px 2px 2px #999;
  padding: 4px;
  margin: 4px;
}
#regex input[type="text"].match-true {
  background-color: #cfc;
  background-image: url('dialog-yes.png');
  background-position: 96% 60%;
  background-repeat: no-repeat;
}
#regex input[type="text"].match-false {
  background-color: #fcc;
  background-image: url('dialog-no-2.png');
  background-position: 96% 60%;
  background-repeat: no-repeat;
}
#regex input[name="exp"] {
  width: 90%;
}
#regex .case {
  display: block;
  padding-left: 2ex;
}
#regex .menu {
  margin: 0.5em 0 1em 0;
}
#regex .test-strings {
  margin: 1em 0;
}
#regex .test-strings input.str {
  width: 90%;
}
@media screen and (min-width: 768px) {
  #regex input[name="exp"] {
    width: 75%;
  }
  #regex .test-strings input.str {
    width: 45%;
  }
}