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