+ // default border size used by Border() below
+ static int GetDefaultBorder()
+ {
+#ifdef __SMARTPHONE__
+ // no borders by default on limited size screen
+ return 0;
+#else // !__SMARTPHONE__
+ // FIXME: default border size shouldn't be hardcoded and at the very
+ // least they should depend on the current font size
+ return 5;
+#endif // __SMARTPHONE__/!__SMARTPHONE__
+ }
+