/* Not really useful for now - we'll need this when people start adding turing numbers and such */

h3 {color: #f00}