Does anyone happen to know if there's a name for the "theme" that this site seems to be emulating in its terminal-esque design? It looks sorta like Monokai but with a really nice dark teal background.