body { background-color: #383635; }
.highlight-foreground { color: #0c4c4f; }
.highlight-background { background-color: #0c4c4f; }