html, body {
    height: 100%;
}

#content {
    margin-left: auto; 
    margin-right: auto;
    /* border-style: solid; */
    width: 95%;
    height: 4.5em; 
    text-align: center;
}

#pictometry {
    margin-left: auto;
    margin-right: auto;
    padding: 5px;
    width: 95%; 
    /* height: 650px; */
    height: 100%;
    border-style: hidden;
}

.map_area {
    height: 90%;
}

.navbar-brand {
    float: left;
    padding: 10px 10px;
}

.navbar-tools {
    float: right;
    padding: 10px 10px;
    /* height: 55px;
    font-size: var(--font-size-large);
    line-height: 24px; */
}

.navbar-title {
    color: #aa6631;
    padding: 30px 10px;
}