@import url('https://fonts.googleapis.com/css?family=Open+Sans&display=swap');

* {
    font-family: 'Open Sans', sans-serif;
}

a {
    text-decoration: none;
    color: black;
}

.consoleOutputSelect {
    width: 65%;
    height: 65%;
    min-width: 300px;
}

.videoContainer {
    width: 70%;
    margin: 30px auto;
}

video {
    width: 100%;
    box-shadow: 0 0 20px 0 rgba(0, 0, 0, 0.2);
}

pre {
    box-sizing: border-box;
    width: 100%;
    padding: 0;
    margin: 0;
    overflow: auto;
    overflow-y: hidden;
    font-size: 12px;
    line-height: 20px;
    background: #efefef;
    /*border: 1px solid #777;*/
    color: #333;

}

/* Gallery */
/* Thumbnail */
.thumbnail {
    width: 30%;
    float: left;
    height: 100%;
    min-width: 330px;
    margin-left: 3%;
}

.thumbnailImg {
    width: 100%;
}

.thumbnailImg:hover{
    box-shadow: 0 0 15px 0 rgba(0, 0, 0, 0.3);
}

.fileName{
    font-size: 1.3em;
}

.fileName::first-line{
    margin-bottom: 2%;
    display: inline;
    background-color: yellow;

}

/* Name search */
.nameSearch {
    margin-left: 3%;
    margin-bottom: 2%;
    width: 30%;
    min-width: 320px;
}

.nameSearchInput {
    padding: 8px;
    border-bottom: 1px solid rgb(0, 110, 181);
    border-top: 0;
    border-right: 0;
    border-left: 0;
    width: 100%;
    box-sizing: border-box;

}

.nameSearchInput:focus {
    border-bottom: 2px solid rgb(0, 110, 181);
    outline: none;
}

/*Pagination*/
.pagination {
    list-style-type: none;
    margin: 25px;
}

.pagination > a {
    text-align: center;
    padding: 10px 15px;
    display: inline;
    text-decoration: none;
    color: #000;
    font-size: 17px;
}

.pagination > a:hover {
    background-color: #f2f2f2;
}

.active {
    background-color: #e6e6e6;
}

@media screen and (max-width: 800px) {
    body {
        min-width: 162px; /* The width is 100%, when the viewport is 800px or smaller */
        width: 94%;
        margin: 3%;
    }

    pre {
        overflow-x: auto;
        white-space: pre-wrap;
        word-wrap: break-word;
    }

    .consoleOutputSelect {
        width: 100%;
    }

    .videoContainer {
        width: 100%;
    }

    #thumbnailContainer {
        margin: 0 3% 0 3%;
    }

    .thumbnail {
        width: 100%;
        margin: 0 0 4% 0;
    }

    .nameSearch {
        /*width: 94%;*/
        width: 100%;
        margin: 0 0 3% 0;
    }
}