.CodeMirror {
    font-size: .8em;
    height: auto;
}

.CodeMirror-scroll {
    overflow-y: hidden;
    overflow-x: auto;
}

#header_img {
    margin-top: 2em;
    margin-bottom: 1em;
}

.list-inline {
    list-style: none;
    margin-left: -0.5em;
    margin-right: -0.5em;
    padding-left: 0;
}

.list-inline>li {
    display: inline-block;
    margin-left: 0.5em;
    margin-right: 0.5em;
}

.image_center_50 {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 50%;
}

.image_center_60 {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 60%;
}

.image_center_70 {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 70%;
}

.image_center_80 {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 80%;
}

.image_center_90 {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 90%;
}

.image_center_100 {
    display: block;
    margin-left: auto;
    margin-right: auto;
    width: 100%;
}

.img_gray {
    -webkit-filter: grayscale(100%);
    -moz-filter: grayscale(100%);
    -o-filter: grayscale(100%);
    -ms-filter: grayscale(100%);
    filter: grayscale(100%);
}

.img_border {
    border: 1px solid rgb(128, 125, 125);
}