body {
    margin-top: 50px;
    margin-bottom: 50px;
    margin-left: 20vw;
    margin-right: 20vw;
    a {
        text-decoration: none;
        color: darkcyan;
        &:hover {
            color: blueviolet;
        }
    }
    #header {
        #title {
            font-size: 50px;
            margin-bottom: -20px;
        }
        .lead {
            font-size: 30px;
        }
    }
    .assist {
        font-weight: normal;
        color: gray;
    }
    img {
        border-radius: 15px;
        max-width: 100%;
        height: auto;
    }
    code pre {
        background-color: #f5f5f5;
        padding: 20px;
        font-size: 15px;
        border-radius: 10px;
        overflow: scroll;
    }
    #panel {
        margin-bottom: -50px;
        margin-top: -50px;
        display: flex;
        align-items: center;
        width: 100%;
        gap: 8px;
        #run {
            padding: 20px;
            border-radius: 10px;
            border-style: none;
            flex-shrink: 0;
        }
        code {
            width: 100%;
            flex: 1 1 0%;
            overflow-x: auto;
            white-space: pre;
        }
    }
    p,
    a,
    li {
        line-height: 1.3;
        font-size: 20px;
        margin-bottom: 10px;
    }
}