body {
    font: 14px "Lucida Grande", Helvetica, Arial, sans-serif;
    background-color: #F7F7F9;
}

@keyframes fadeInOut {
    from { background-color: rgba(242, 43, 43, 1); }
}

.narrow-content {
    width: 70%;
    margin: 0 auto;
}
.narrow-content-bigger {
    width: 85%;
    margin: 0 auto;
}

.flash-message {
    margin-top: 10px;
}

code .passed-command {
    color: green;
}
code .terminal-command {
    color: black;
}

.no-top-margin {
    margin-top: 0 !important;
}

.active-exercise-container {
    padding: 20px;
}

.active-exercise-container #active-exercise-header {
    border-bottom: 1px solid #ccc;
}
.active-exercise-container #active-exercise-header h5::after {
    content: '';
    display: block;
    clear: both;
}
.active-exercise-container .active-exercise-buttons {
    float: right;
}
.active-exercise-container #active-exercise-students {
    margin-top: 10px;
    border: 1px solid #ccc;
    overflow-x: auto;
    overflow-y: hidden;
    white-space: nowrap;
    min-height: 107px;
    max-height: 120px;
}

.active-exercise-container #active-exercise-hall {
    /* TODO: for the future, make the container auto resizable */
    min-height: 4000px;
    border: 1px solid #ccc;
    margin-top: 15px;
    position: relative;
}

.active-exercise-container #active-exercise-hall .user-box {
    position: absolute;
}
.user-box {
    position: relative;
    width: 20%;
    display: inline-block;
    border: 2px solid #ffffff;
    font-size: 110%;
    padding: 8px;
    margin: 0.5%;
    cursor: pointer;
}
.user-box .user-box-info {
    text-align: center;
    max-width: 90%;
    overflow-x: hidden;
}
.user-box .user-box-info .user-box-user {
    margin-left: 5px;
    margin-right: 5px;
}
.user-box .user-box-level {
    position: absolute;
    top: 2px;
    right: 2px;
}
.user-box .user-box-activity-info {
    font-size: 80%;
}
.user-box .user-box-activity-info::after {
    content: '';
    display: block;
    clear: both;
}
.user-box .user-box-activity-info div {
    width: 50%;
    text-align: center;
    float: left;
}
.user-box .user-box-activity-attempts,
.user-box .user-box-inactivity-time {
    background-color: rgba(242, 43, 43, 0);
}
.user-box .slow-fadeinout {
    animation: fadeInOut 1.5s infinite alternate;
}
.user-box .user-box-command-info {
    font-size: 80%;
    background-color: #000000;
    overflow-x: hidden;
    white-space: nowrap;
}
.user-box .user-box-progress-bar {
    width: 100%;
    height: 7px;
    background-color: #c61313;
}
.user-box .user-box-progress {
    height: 7px;
    background-color: #36d87f;
    max-width: 100%;
}

.modal .modal-body p {
    margin-bottom: 0;
}
.modal .modal-command-history {
    border: 1px solid #000000;
    border-radius: 3px;
    padding: 5px;
    height: 55vh;
    overflow-y: auto;
}
.modal .modal-command-history code {
    display: block;
    border-radius: 0;
    word-wrap: break-word;
}

.loader {
    border: 5px solid #f3f3f3;
    -webkit-animation: spin 1s linear infinite;
    animation: spin 1s linear infinite;
    border-top: 5px solid #555;
    border-radius: 50%;
    width: 25px;
    height: 25px;
}

.modal .loader {
    visibility: hidden;
}

.evaluate-exercise-buttons .loader {
    display: inline-block;
    visibility: hidden;
}
.evaluate-exercise-average-commands,
.evaluate-exercise-median-commands,
.evaluate-exercise-average-time,
.evaluate-exercise-median-time {
    font-weight: bold;
    margin-right: 20px;
}

.evaluate-exercise-container h5::after {
    content: '';
    display: block;
    clear: both;
}
.evaluate-exercise-container .evaluate-exercise-buttons {
    float: right;
}
.evaluate-exercise-container .evaluate-exercise-buttons a {
    margin-left: 5px;
}
.evaluate-exercise-table tbody td {
    cursor: pointer;
    padding: .75rem !important;
}
.evaluate-exercise-table .score-cell {
    font-weight: bold;
}
.bootstrap-table {
    margin-bottom: 20px;
}
.statistics-exercise-container .statistics-exercise-charts {
    width: 70%;
    margin: 0 auto;
    margin-bottom: 10px;
}

.statistics-exercise-container .statistics-kmeans-badges a {
    font-size: 120%;
    margin-right: 20px;
    color: white;
}

.statistics-exercise-container .statistics-exercise-kmeans-table td pre {
    margin: 0;
    padding: 5px;
}
.statistics-exercise-container .statistics-cluster-container {
    margin-bottom: 30px;
}
.word-badge {
    margin: 5px;
    font-size: 100%;
}

@keyframes spin {
    0% { transform: rotate(0deg); }
    100% { transform: rotate(360deg); }
}


@media (min-width: 1200px) {

}

/* landscape tablets */
@media (min-width: 992px) and (max-width: 1199px) {

}

/* portrait tablets and landscape phones */
@media (max-width: 991px) and (min-width: 768px) {

}

/* phones in portrait mode */
@media (max-width: 767px) {

}
