padding-top: 3em;
padding-bottom: 3em;
}
+
+table#top td,
+table#bottom td.indented {
+ padding-left: 1ch;
+ padding-right: 1ch;
+}
+
+/* Mobile (i.e. phones) */
+@media only screen and (max-width: 768px) {
+body {
+ margin: 0px;
+}
+
+table#homepage {
+ font-size: x-small;
+}
+
+table#top td,
+table#bottom td.indented {
+ padding-left: 0.5ch;
+ padding-right: 0.5ch;
+}
+}