body { background-color: #03177c; }
.highlight-foreground { color: #629cdd; }
.highlight-background { background-color: #629cdd; }