widgets: add spacer, divider, tweak interface

Widgets/StyledText.qml

@@ -10,13 +10,14 @@ Text {
     color: Theme.surfaceText
     font.pixelSize: Appearance.fontSize.normal
     font.family: {
+        // Use system default
+
         var requestedFont = isMonospace ? Prefs.monoFontFamily : Prefs.fontFamily;
         var defaultFont = isMonospace ? Prefs.defaultMonoFontFamily : Prefs.defaultFontFamily;
         // If user hasn't overridden the font and we're using the default
         if (requestedFont === defaultFont) {
             var availableFonts = Qt.fontFamilies();
             if (!availableFonts.includes(requestedFont))
-                // Use system default
                 return isMonospace ? "Monospace" : "DejaVu Sans";
 
         }