@charset "UTF-8";

#header-revision {
    color: black;
    background: pink;
    position: fixed;
    width: 5em;
    height: 1.5em;
    top: 0;
    left: 0;
    z-index: 100;
    opacity: 0.5;
    padding-left: 0.5em;
    line-height: 1.5em;
    font-weight: bold;
}

#header-env-name {
    color: white;
    background: black;
    position: fixed;
    top: 0;
    left: 60px;
    z-index: 100;
    opacity: 0.9;
    padding-left: 0.5em;
    padding-right: 0.5em;
    line-height: 1.5em;
    font-weight: bold;
    font-weight: bold;
    font-size: 15px;
    text-align: center;
}