a bookmarklet to restyle the w3c drafts for a better reading experience