I’ve seen some people wrap their navigation (<ul> tag) inside a <div>, and the <div> just has margin/padding CSS properties applied to it.
We can just style the navigation without a <div> and put the margin and padding on the <ul> tag. So it is necessary to put the <ul> tag inside the <div>, or is it just personal preference/favor?
And for HTML5 which has been implemented in some browsers, is it necessary to put the <ul> tag used for navigation in a <nav> tag?
Like e.g. the Smashing HTML5 demo page.