cone
cone copied to clipboard
Theme selection broken on playground website
Not that it matters that much but the default syntax coloring is kind of hard to see anyway so I thought I'd report it. Changing the theme does not appear to do anything.