body { background-color: #dbd8d8; }
.highlight-foreground { color: #b6130f; }
.highlight-background { background-color: #b6130f; }