/*@import "https://fonts.googleapis.com/css2?family=Quicksand&display=swap";*/
/*pre {*/
/*    padding-left: 10px;*/
/*}*/

.highlight-text {
    color: #888888;
}

/*div.note {*/
/*    background-color: #ccd0ec;*/
/*}*/

/*body { font-family: 'Quicksand', sans-serif;}*/