+/* Because this is the only sizing that is sane, make it global. */
+* {
+ box-sizing: border-box;
+}
+
/*\
|*|
|*| Properties for the page: colors, etc.
* of the page content.
*/
#page {
- box-sizing: border-box;
max-width: var(--page-max-width-padded);
margin-left: auto;
margin-right: auto;