ticket,summary,type,release,owner,status,created,modified,_description,_reporter
4510,Missing fonts,enhancement,0.11,Wilson Pinto Júnior,new,2009-01-25T20:52:10+01:00,2010-01-05T21:42:37+01:00,"Theme is really great, but only when using Gnome (Linux). From Windows (FF, IE) it is very ugly because Windows doesn't have fonts: ""DejaVu Sans Condensed"",""Bistream Versa Sans"". Can you put some standard font in CSS?",anonymous
3846,CSS Fix for header alignment issues,defect,0.11,Wilson Pinto Júnior,assigned,2008-10-02T09:18:37+02:00,2008-10-05T10:11:55+02:00,"Diff -u patch for the fix:

{{{
--- gnomebr.dist.css        2008-10-02 07:06:00.000000000 +0000
+++ gnomebr.fixed.css 2008-10-02 06:58:42.000000000 +0000
@@ -165,7 +165,6 @@
   top: 0px;
   vertical-align: middle;
   white-space: nowrap;
-  width: 28.1em;
   z-index: 3;
   height: 0px;
 }
}}}

Patch does not break IE7 or Safari 3.",paul.hieromnimon@…
12442,Plugin has no license,task,,Wilson Pinto Júnior,new,2015-07-14T14:55:24+02:00,2015-07-14T14:55:24+02:00,"The plugin currently does not indicate a license. Would you kindly add one? Suggested changes can be found in DevGuide#License.
",figaro