body {
    width: 100%;
    margin: 0;
}

.body {
    width: 90%;
    margin: auto;
}

code {
    white-space: pre-wrap !important;
}

pre {
    position: relative;
}

pre .copy-button {
    position: absolute;
    top: 0;
    right: 10px;
    padding: 0;
    display: none;
    font-size: 26px;
    line-height: 1;
    text-align: center;
    width: 36px;
    cursor: pointer;
    border-radius: 5px;
    border: 1px solid #e6e6e6;
}

pre:hover .copy-button {
    display: inline-block !important;
}

.copy-button:hover {
    background-color: #e6e6e6;
}

p {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 15px;
    font-weight: normal;
    font-style: normal;
}

.labs-list {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 26px;
    font-weight: normal;
    font-style: normal;
    list-style-type: none;
    display: inline-block;
    padding-left: 0;
}

.labs-list li a {
    color: #2c7dff;
    text-decoration: none;
    display: block;
    padding: 5px 5px 0 5px;
}

.labs-list li a:hover {
    background-color: #efefef;
}

h1 {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 23px;
    font-weight: bold;
    font-style: normal;
}

h2 {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 19px;
    font-weight: bold;
    font-style: normal;
}

h3 {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 17px;
    font-weight: bold;
    font-style: normal;
}

h4 {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 15px;
    font-weight: bold;
    font-style: normal;
}

header {
    background-color: #2c7dff;
}

header div {
    width: 90%;
    padding: 20px 0;
    margin: auto;
}

header span {
    color: white;
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 23px;
    font-weight: bold;
    font-style: normal;
    display: inline-block;
}

header img {
    height: 26px;
    float: right;
}


/* unvisited link */

a:link {
    color: #0058e6;
}


/* mouse over link */

a:hover {
    color: #80b0ff;
}

.shell .hljs-meta {
    user-select: none;
    -moz-user-select: none;
    -khtml-user-select: none;
    -webkit-user-select: none;
    -o-user-select: none;
}

details summary {
    font-family: monospace;
    font-weight: bold;
    font-style: normal;
    font-size: 16px;
    display: inline-block;
    padding: 4px;
    background-color: #ccdfff;
    cursor: pointer;
}

details.cmd-one-line summary {
    padding: 6px;
    font-size: 14px;
    background-color: #fafafa;
}

summary:hover {
    background-color: #e6efff;
    color: #333;
}

.task-list-item {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 15px;
    font-weight: normal;
    font-style: normal;
}

li.show-correct {
    color: #009900;
}

li.show-correct::after {
    color: #009900;
    font-weight: bold;
    font-size: 16px;
    content: " \2713";
}

li.show-false {
    color: #cc0000;
}

li.show-false::after {
    color: #cc0000;
    font-weight: bold;
    font-size: 15px;
    content: " \274C";
}

#feedbackForm {
    margin-bottom: 8px;
}

#feedbackForm label {
    font-family: Verdana, Tahoma, sans-serif;
    font-size: 15px;
    font-weight: normal;
    font-style: normal;
}

#feedbackForm .ratings {
    display: grid;
    grid-template-columns: 13rem 10rem;
    grid-gap: 8px 0;
    margin-bottom: 12px;
}

.success {
    color: #009900;
}

.important {
    color: #cc0000;
}

#submit {
    background-color: #2c7dff;
    color: white;
    border: none;
    border-radius: 5px;
    padding: 10px 20px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 16px;
    margin: 4px 2px;
    cursor: pointer;
}

#submit:hover {
    background-color: #0058e6;
}

#submit:active {
    background-color: #004cb7;
}

.star-rating {
    display: flex;
    flex-direction: row;
}

.star {
    font-size: 1.7rem;
    color: #ccc;
    cursor: pointer;
    transition: color 0.1s;
    line-height: 1.7rem
}

.star.selected {
    color: #eaea00;
}