/* optimized for desktop users */
/*@media only screen and (min-width: 1280px) {*/
  .container{
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    grid-template-rows: 100px;
    grid-template-columns: 1fr 1fr 1fr;
    grid-auto-rows: minmax(100px, auto);
  }
  div {
    overflow: hidden;
    text-overflow: clip;
  }
  div.item-1 {
    grid-column: 2 / 3;
    grid-row: 1;
  }
  div.item-2 {
    grid-column: 2 / 3;
    grid-row: 2;
  }
  div.item-3 {
    grid-column: 2 / 3;
    grid-row: 3;
  }
  div.item-4 {
    grid-column: 2 / 3;
    grid-row: 9;
  }
  body {
    font-size: 1em;
  }
  p {
    font-family: monospace;
    color: #001858;
  }
  input {
    font-family: monospace;
  }
  button {
    font-family: monospace;
    color: #001858;
  }
  h1, h2, h3, h4, h5, h6 {
    font-family: monospace;
    color: #001858;
  }

/*}*/

/* optimized for mobile users */
/*
@media only screen and (max-width: 1279px) {
  .container{
    display: grid;
    grid-template-columns: repeat(1, 1fr);
    grid-template-rows: 100px;
    grid-template-columns: 1fr;
    grid-auto-rows: minmax(100px, auto);
  }
  div.item-1 {
    grid-column: 1 / 1;
    grid-row: 1;
  }
  div.item-2 {
    grid-column: 1 / 1;
    grid-row: 2;
  }
  div.item-3 {
    grid-column: 1 / 1;
    grid-row: 3;
  }
  body {
    font-size:3em;
  }
}
*/

div.round-border {
  border: 1px solid;
  padding: 0.01em 16px;
  border-radius: 16px;
}

div.image_container {
  border: 1px solid;
  padding: 0.5em 0.5em;
  background-color: #F0F0F0;
}

p.image_container {
  font-size: 0.8em;
}

body {
  background-color:       #FEFFEF;
  color:                  #000000;
}

body.status_page {
  background-color:       #B6BDBD;
  color:                  #000000;
}


/* code blocks */
pre {
  margin-left:            20px;
  margin-right:           20px;
  margin-top:             0px;
  background-color:       white;
  border-style:           solid;
  border-color:           #888A85;
  border-width:           1px;
  font-size:              11pt;
  font-family:            monospace;
}
pre.commandLine {
  background-color:       #2E3436;
  color:                  #C3F097;
}
/* in-line code block */
span.codeBlockInText{
  background-color:       white;
  border-color:           black;
  border-style:           solid;
  border-width:           1px;
  font-size:              11pt;
  font-family:            monospace;
  padding-left:           5px;
  padding-right:          5px;
}
/* code highlighting */
span.structure {
  color:                  #FCAF3E;
  font-weight:            bold;
}
span.primitive {
  color:                  #729FCF;
  font-weight:            bold;
}
span.className {
  color:                  #8AE234;
  font-weight:            bold;
}
span.type {
  color:                  #729FCF;
}
span.value {
  color:                  #C17D11;
}
span.function {
  color:                  #75507B;
}
span.name {
  color:                  #8AE234;
}
span.comment {
  color:                  #888A85;
}
img {
  max-width:              100%;
}


body {margin: 0;}

ul.topnav {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
  background-color: #8bd3dd;
}

ul.topnav li {float: left;}

ul.topnav li a {
  display: block;
  color: #001858;
  text-align: center;
  color: #001858;
  font-family: monospace;
  font-size: 1em;

  padding: 14px 16px;
  text-decoration: none;
}

ul.topnav li a:hover:not(.active) {background-color: #f582ae;}

ul.topnav li a.active {background-color: #f582ae;}

ul.topnav li.right {float: right;}

@media screen and (max-width: 600px) {
  ul.topnav li.right, 
  ul.topnav li {float: none;}
}

/*.dropdown-content {
  display: none;
  position: absolute;
  background-color: #f9f9f9;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

.dropdown-content a {
  float: none;
  color: black;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
  text-align: left;
}

.dropdown-content a:hover {
  background-color: #ddd;
}

.dropdown:hover .dropdown-content {
  display: block;
}

.dropdown {
  float: left;
  overflow: hidden;
}

.dropdown .dropbtn {
  font-size: 16px;  
  border: none;
  outline: none;
  color: white;
  padding: 14px 16px;
  background-color: inherit;
  font-family: inherit;
  margin: 0;
}*/