Did the HTML5 gods flip a switch on August 1st, or am I just nuts or sleep-deprived? It looks like the default upper/lower margins and left-right padding for <nav></nav> just changed, and the new defaults look different in different browsers. Maybe I didn't get the memo.