+
+#else
+
+//FontResource panelFont { $"Droid Sans Mono", 12 };
+//FontResource codeFont { $"Droid Sans Mono", 12 };
+
+//FontResource panelFont { $"Anonymous Pro", 11 };
+//FontResource codeFont { $"Anonymous Pro", 11 };
+
+//FontResource panelFont { $"Inconsolata", 12 };
+//FontResource codeFont { $"Inconsolata", 12 };
+
+//FontResource panelFont { $"Source Code Pro", 10, true };
+//FontResource codeFont { $"Source Code Pro", 10, true };
+
+//FontResource panelFont { $"DejaVu Sans Mono", 12/*, true*/ };
+//FontResource codeFont { $"DejaVu Sans Mono", 12/*, true*/ };
+
+//FontResource panelFont { $"Monaco", 10/*, true*/ };
+//FontResource codeFont { $"Monaco", 10/*, true*/ };
+
+FontResource panelFont { $"Monospace", 10, true };
+FontResource codeFont { $"Monospace", 10, true };
+
+#endif
+
+Color selectionColor = lightBlue;