html, body {
    background-color: #65C442;
    height: 100%;
    margin: 0em;
    padding: 0em;
}

@font-face {
        font-family: 'Blue Highway';
        src: url(blue_highway.ttf);
}
#sky-above {
    /* flexibly adjust the div leaving some air for the machine box */
    height: 60em;
    max-height: 28%;

    border-bottom-left-radius: 46%;
    border-bottom-right-radius: 46%;
    background-color: #BFEFFF;
}

#robo-body, #log {
    margin-left: 12%;
    width: 76%;
    max-width: 60em;
}

#robo-body {
    height: 67%;
    min-height: 28em;

    margin-top: -5%;

    background-color: #dddddd;

    border-top-left-radius: 10%;
    border-top-right-radius: 5%;
    border-bottom-right-radius: 7%;
    border-bottom-left-radius: 0.2%;

    border-right: 5.6em solid #cccccc;
    border-top: 2.8em solid #cecece;
    
    padding-top: 1.3%;
}

.robo-scrn {
    width: 37%;
    height: 42%; /* should be effectively <50% to collapse well */
    border-radius: 20%;
    min-width: 11.3em;

    background-color: #fefefe;
    border-right: 1em solid #fafafa;
    border-bottom: 1em solid #fafafa;

    position: relative; /* enable z-index */
    z-index: 10;
}

#robo-left-scrn {
    margin-top: 3%;
    margin-left: 7%;
    float:  left;
}
#robo-right-scrn {
    margin-right: 7%;
    float: right;

    margin-top: 6%;
}

#query-wrapper, #response-wrapper {
    height: 100%;
}
#query, #response {
    width: 80%;
    height: 75%;
    margin-left: 13%;
    margin-top: 13%;

    background-color: inherit;
    border: 0em;

    text-align: center;
    font-family: 'Blue Highway', 'sans-serif';

    overflow: hidden;
}

#robo-buttons {
    position: relative;
    top: 67%;
    left: -6em; /* = 0.1*max-left-body-border (matters when collapsing) */
    height: 7%;
    
    white-space: nowrap;

    z-index: 2; /* less that the scrns (10) */
}
.robo-button {
    display: inline-block;
    height: 100%;
    width: 5%;
    border-radius: 25%;
}
.robo-button-b { background-color: #4040dd; }
.robo-button-r { background-color: #dd4040; }
.robo-button-g { background-color: #40dd40; }
.robo-button-y { background-color: #f0d030; }

#brand {
    margin-left: 64%;
    margin-top: 8%;
    width: 27%;
}

#log {
    background-color: #e7e7e0;
    color: #080808;

    margin-top: 1em;
    margin-bottom: 1em;
    margin-right: 2em;
    padding: 1.3em;
    font-family: 'Blue Highway', 'sans-serif';
    font-size: 1.1em;

    border-radius: 1.3em;
    border-left: 2em solid #daead4;
    border-right: 2em solid #daead4;
}