Update logo size to better fit 10 stable needs

files/0001-Adjust-default-values-for-AlmaLinux.patch

@@ -38,7 +38,7 @@ index 14f6793..5e23b3a 100644
      <key type="d" name="logo-size">
        <range min="5.0" max="15.0"/>
 -      <default>9.0</default>
-+      <default>9.0</default>
++      <default>12.5</default>
        <summary>Logo size</summary>
        <description>The logo size in percent relative to the screen width</description>
      </key>