body { background-color: #084165; }
.highlight-foreground { color: #cf7d00; }
.highlight-background { background-color: #cf7d00; }