details {
    background: #fbfbfb;
    border: 1px solid  #c9c9c9;
    border-radius: 3px;
    padding:  0.25em;
    margin-bottom: 1.0em;

    pre.src {
        margin-top: 12px;
        margin-bottom: 0;
    }
}


summary {
    outline: 0;
    color: #c9c9c9;

    &::after {
        font-size: 0.85em;
        color: #c9c9c9;
        float: right;
        padding-right: 0.5em;
        content: "Click to fold/unfold";
    }
}