Doxygen CSS overrides in own file + user_doc style changes

These commits extract the previously HTML-embedded Doxygen CSS overrides into their own CSS file. It also makes significant style changes to make the reading experience more pleasant. The style changes for this commit can be previewed at the following URL until June 1, 2013

kickflop DOT net / temp / fish2-style1 /