html {
    font-size: 16px;
}
body {
    font-family: Arial, Helvetica, sans-serif;
}
.center_helper {
    text-align: center;
    display: block;
}
.navbar-fixed-ifier {
    z-index: 200;
    position: fixed;
    width: 100%;
}
.lock_top {
    position: fixed;
    top: 0px;
    width: 100%;
    height: 240px;
    z-index: 100;
}
.lock_top_spacer {
    height: 130px;
    width: 100%;
}
.card {
    display: inline-block;
}
.center_auto {
    display: inline-block;
    text-align: left;
}
.flash {
    animation: flash 2s ease-out;
    animation-iteration-count: 1;
}
@keyframes flash {
    0% { background-color: transparent; }
    20% { background-color: #88BBFF; }
    100% { background-color: transparent; }
}
.flasher_tool {
    position: absolute;
    width: 50vw;
    left: 0;
    height: 1.3rem;
}
h1 {
    white-space: normal;
}
h2 {
    white-space: normal;
}
h4 {
    white-space: normal;
}
table {
    margin-left: 16px;
    margin-right: 16px;
    max-width: 95%;
    border: 2px #606060 solid;
}
@media (min-width: 1500px) {
    table {
        max-width: 1500px;
    }
}
.td-doc-key {
    width: 150px;
}
.doc_name {
    font-weight: bold;
    font-size: 150%;
}
.jumbotron {
    padding: 2rem;
}
pre {
    font-size: 95%;
}
.table td {
    padding: 0.4rem;
}
pre {
    margin-bottom: 0.2rem;
}
.topsearchbar {
    text-align: right;
    right: 16px;
    position: absolute;
}
.smaller_text {
    font-size: 70%;
}
.slightly_smaller_text {
    font-size: 85%;
}
.meta_url {
    font-size: 75%;
    opacity: 0.5;
}