body { margin: 2px; padding: 10pt; font-family: Verdana,sans-serif; font-style: normal; font-variant: normal; font-weight: normal; font-size: 1em; line-height: normal; font-size-adjust: none; font-stretch: normal; -x-system-font: none; }
ul#menu { list-style-type: none; width: 100%; }
ul#menu li { float: left; }
ul#menu a { border: 1px solid gray; margin: 0pt 2px; padding: 5px 5px; background: rgb(255, 255, 255) none repeat scroll 0% 0%; float: left; text-align: center; text-decoration: none; color: rgb(0, 0, 0); }
ul#menu a:hover { border: 1px solid gray; background: rgb(255, 142, 59) none repeat scroll 0% 0%; }
div#mentions { margin: 1em; padding: 0.5em; background: rgb(128, 247, 210) none repeat scroll 0% 0%; font-family: verdana,arial,sans-serif; position: absolute; bottom: 200px; left: 10px; width: 400px; -moz-border-radius-topleft: 10px; -moz-border-radius-topright: 10px; -moz-border-radius-bottomright: 10px; -moz-border-radius-bottomleft: 10px; line-height: 1.1; font-size: 0.9em; }
div#mentions a { text-decoration: none; color: rgb(34, 50, 34); }
div#mentions a:hover { text-decoration: underline; color: black; }