body { background-color: #132661; }
.highlight-foreground { color: #55639d; }
.highlight-background { background-color: #55639d; }