@media (max-device-width: 720px) {
    html {
        font-size: 24px;
    }
}
body {
    background-color: lightgrey;
    text-align: center;
    font-family: sans-serif;
}
h1 {
    margin: 0px;
    font-size: 4rem;
}
img {
    max-height: 200px;
    max-width: 100%;
    height: auto;
    width: auto;
}
pre {
    overflow: auto;
}
.div_overflow {
    overflow: scroll;
}
.navigation {
    margin: 0px 20px;
    text-align: left;
}
.navigation a {
    display: inline-block;
}
.navigation a:hover {
    background-color: whitesmoke;
}
.navigation img {
    height: 25px;
}
@media (max-device-width: 720px) {
    .navigation img {
        height: 50px;
    }
}
.img_big {
    max-height: 300px;
    max-width: 100%;
    height: auto;
    width: auto;
}
#subtitle {
    visibility: hidden;
    font-size: 2rem;
    font-family: serif;
    font-style: italic;
}
.div_display {
    margin: 20px;
    border: 1px solid grey;
    background-color: white;
    padding: 2rem;
    text-align: left;
}
.div_examples {
    text-align: center;
}
.div_examples div {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-evenly;
}
.div_examples img {
	margin: 5px;
	border: 1px solid grey;
    max-height: 300px;
    max-width: 100%;
    height: auto;
    width: auto;
}
@media (max-device-width: 720px) {
    .div_display img {
        width: 100%;
        height: auto;
        max-height: none;
    }
}
@media (max-device-width: 720px) and (orientation: landscape) {
    .div_display img {
        width: 100vh;
        height: auto;
        max-height: none;
    }
}
.span_emphasis {
    font-weight: bold;
    font-style: italic;
}
.mysql_output th, .mysql_output td {
    padding: 1px 10px;
}
.mysql_output th, .odd {
    background-color: lightgrey;
}