- ".font1: -*-courier-medium-r-*-*-*-1400-*-*-m-*-*-*",
- ".font2: -*-courier-medium-r-*-*-*-600-*-*-m-*-*-*",
- ".font3: -*-courier-medium-r-*-*-*-180-*-*-m-*-*-*",
- ".font4: fixed",
+
+#if defined(HAVE_COCOA) || defined(HAVE_ANDROID)
+ ".font1: OCR A Std 192, Lucida Console 192, Monaco 192",
+ ".font2: OCR A Std 144, Lucida Console 144, Monaco 144",
+ ".font3: OCR A Std 128, Lucida Console 128, Monaco 128",
+ ".font4: OCR A Std 96, Lucida Console 96, Monaco 96",
+ ".font5: OCR A Std 48, Lucida Console 48, Monaco 48",
+ ".font6: OCR A Std 24, Lucida Console 24, Monaco 24",
+#else /* real X11 */
+ ".font1: -*-courier-bold-r-*-*-*-1440-*-*-m-*-*-*",
+ ".font2: -*-courier-bold-r-*-*-*-960-*-*-m-*-*-*",
+ ".font3: -*-courier-bold-r-*-*-*-480-*-*-m-*-*-*",
+ ".font4: -*-courier-bold-r-*-*-*-320-*-*-m-*-*-*",
+ ".font5: -*-courier-bold-r-*-*-*-180-*-*-m-*-*-*",
+ ".font6: fixed",
+#endif /* real X11 */
+