improved developer bar styling
added page size information to devbar
devbar: remember expand/collapse state in cookie + outsourced js and css
devbar: added export capabilities: all/single page as HTML/PHP