Nice. I've been finding myself using the F12 tools more and more recently to tweak websites I use often - say to change the background colour or font. Not a web dev, but it's fun to look under the hood and play about with things.