Merge pull request #1100 from rust-lang/sizing-tweaks

Text sizing tweaks

Author: shepmaster

ui/frontend/ConfigElement.module.css

@@ -5,7 +5,6 @@
 
 .name {
   flex: 1;
-  font-size: 13px;
 }
 
 .notDefault {
@@ -46,7 +45,6 @@
     padding: 0 1em;
     color: #777;
     font-weight: 600;
-    font-size: 11px;
     text-align: center;
     text-transform: uppercase;
 

ui/frontend/Header.module.css

@@ -6,7 +6,7 @@
 }
 
 .container {
-  font-size: 12px;
+  font-size: var(--secondary-font-size);
   padding: 1.25em 0;
   justify-content: space-between;
 }

ui/frontend/MenuGroup.module.css

@@ -13,7 +13,7 @@
   border-bottom: 1px solid var(--header-main-border);
   padding-bottom: 10px;
   font-weight: 700;
-  font-size: 11px;
+  font-size: var(--secondary-font-size);
   text-transform: uppercase;
 }
 

ui/frontend/PopButton.module.css

@@ -3,7 +3,7 @@ $arrow-width: 20px;
 
 .container {
   z-index: 10;
-  font-size: 12px;
+  font-size: var(--secondary-font-size);
 
   & button:enabled {
     cursor: pointer;

ui/frontend/Stdin.module.css

@@ -1,7 +1,7 @@
 .form {
   display: flex;
   gap: 0.25em;
-  align-items: flex-start;
+  align-items: flex-end;
 }
 
 .multiLine {
@@ -27,7 +27,7 @@
 }
 
 .buttons {
-  font-size: 11px;
+  font-size: var(--secondary-font-size);
 }
 
 .menu {

ui/frontend/index.module.css

@@ -2,6 +2,8 @@
 :root {
   /* Fonts */
   --primary-font: 'Open Sans', sans-serif;
+  --primary-font-size: 18px;
+  --secondary-font-size: calc(0.75 * var(--primary-font-size));
 
   /* Header */
   --header-transition: 0.2s ease-in-out;
@@ -212,7 +214,7 @@ body {
   padding: 0 1em;
   font-family: var(--primary-font);
   font-optical-sizing: auto;
-  font-size: 18px;
+  font-size: var(--primary-font-size);
 }
 
 /* stylelint-disable-next-line selector-class-pattern */

ui/frontend/shared.module.css

@@ -37,7 +37,6 @@
 
 .-menuItemTitle {
   font-weight: 600;
-  font-size: 13px;
 }
 
 .-menuItemFullButton {