Bugfix and style update of RawTherapee.css

Still unfinished - Big thank you to DrSlony for his help

rtgui/options.h

@@ -309,6 +309,7 @@ public:
     int         saveToFile      (Glib::ustring fname);
     static bool load            ();
     static void save            ();
+    static Glib::ustring formatFontName (Glib::ustring font);
 
     // if multiUser=false, send back the global profile path
     Glib::ustring getPreferredProfilePath();