I was going through Code Golf, and I noticed that there is no default Google code prettify like there is on Stack Overflow.
Why should we settle for this
When we can have this?
Right now, if you would like, you can prettify your submissions by simply adding
<!-- language-all: lang-default -->
Somewhere in them
Note: This would have to be turned off by default for some tags, such as cops and robbers - looking at the source code would (I'm fairly certain) reveal what language is highlighted