Firefox add-on that makes a couple of minor tweaks to the new default theme (aka Australis).