Fixed width layout for Dokeos and the 10px bar below the header

For those of you lucky enough to have tried a fixed-width layout in Dokeos, you will probably have fallen across the horrible background-color line bug that appears just below the banner... [caption id="attachment_428" align="aligncenter" width="300" caption="A background-colored bar appears below the banner"]Afbeelding verwijderd.[/caption] This is due to a normal-message type element appearing on the screen at the top of the <div id="main"> and the fact that the normal-message CSS definition defines a margin of 10px while there is a 0 padding for #main. To fix it (but you will loose 10 px in most cases), increase the padding-top of #main to 10px.