body { background-color: #1f64af; }
.highlight-foreground { color: #ed1b34; }
.highlight-background { background-color: #ed1b34; }