Closed GoogleCodeExporter closed 9 years ago
Hi!
Since it doesn't make any difference at all in most browsers used today, I've
just removed it. Later on we'll have to consider adapting the CSS a bit better
to mobile devices...
Removed in r3367.
Original comment by jaim...@gmail.com
on 18 Feb 2014 at 4:48
Original issue reported on code.google.com by
yorndej...@gmail.com
on 29 Jan 2014 at 11:41