1 /* The extra CSS for doxygen 1.8.3.1 */
4 background-image:url('head.png');
5 background-color: #175783;
8 background-repeat: no-repeat;
12 border-bottom: 1px solid #5373B4;
16 border:1px solid #0000FF;
18 font-family: Arial, Helvetica, sans-serif;
22 -moz-border-radius: 8px;