body { background-color: #0b5a29; }
.highlight-foreground { color: #0b5a29; }
.highlight-background { background-color: #0b5a29; }
.highlight-border-small { border: 1px solid #0b5a29; }
.highlight-transparent-border-colour { border-color: #0b5a29 transparent transparent transparent; }
.highlight-flash { animation: flash 5s 1; } @keyframes flash { 0% { background-color: #0b5a2933; } 100% { background-color: transparent; }}