+/* Because this is the only sizing that is sane, make it global. */
+* {
+ box-sizing: border-box;
+}
+
/*\
|*|
|*| Properties for the page: colors, etc.
/* A little color to avoid a fully monochromatic theme. */
--accent-color: #287789;
--accent-color-bright: #44c7ef;
+ --text-fg-on-accent: white;
+ --text-fg-on-accent-bright: #333738;
/* Some colors intended to convey semnatics. */
--warning-color: #ffa92a;
--danger-color: #f56257;
--danger-color-dark: #bc2822;
+
+ /* Page layout */
+ --page-max-width: 720px;
+ --page-max-pad: 50px;
+ --page-max-width-padded: calc(var(--page-max-width) + 2 * var(--page-max-pad));
}
/*\
font-size: 110%;
}
+/* Don't underline links in headers */
+h1 a {
+ text-decoration: none;
+}
+
p,dl,dd,form {
margin-bottom: 1em;
}
/* We never let the page content get larger than a large fixed width.
*
* And when the screen is wide enough, we can afford some "wasted"
- * space on either side of the page content. This starts at 0 for a
- * 620px wide page up to 50px on either side for a 820px wide page.
+ * space on either side of the page content, (up to --page-max-pad).
*
- * Note: This 820px width for the page includes the padding so the
- * actual content is only ever as wide as 720px.
+ * Note: This --page-max-width-padded for the page includes the
+ * padding so the actual content is only ever as wide as
+ * --page-max-width.
*
* Wider than that and we start to see the background on either side
* of the page content.
*/
#page {
- box-sizing: border-box;
- max-width: 820px;
+ max-width: var(--page-max-width-padded);
margin-left: auto;
margin-right: auto;
padding-top: 0;
padding-right: 1em;
}
-@media screen and (min-width: 720px) and (max-width: 820px) {
+@media screen and (min-width: var(--page-max-width)) and (max-width: var(--page-max-width-padded)) {
#page {
- padding-left: calc(1em + (100% - 720px)/2);
- padding-right: calc(1em + (100% - 720px)/2);
+ padding-left: calc(1em + (100% - var(--page-max-width))/2);
+ padding-right: calc(1em + (100% - var(--page-pax-width))/2);
}
}
-@media screen and (min-width: 820px) {
+@media screen and (min-width: var(--page-pax-width-padded)) {
#page {
- padding-left: calc(1em + 50px);
- padding-right: calc(1em + 50px);
+ padding-left: calc(1em + var(--page-max-pad));
+ padding-right: calc(1em + var(--page-max-pad));
}
}
border-radius: 4px;
background-color: var(--accent-color);
border: none;
- color: white;
+ color: var(--text-fg-on-accent);
text-align: center;
font-size: 125%;
margin-top: .25em;