An extension of the default Blackboard theme including a themed workbench and more colorisation of snippets.
