diff options
-rw-r--r-- | main.css | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -64,6 +64,10 @@ dl dd { font-size: 10pt; font-family: sans-serif; } +span.super { + vertical-align: 33%; + font-size: 9pt; +} a.skip { display: none; |
index : www/www.git | ||
Web site (defunct, integrated into wiki) | Patrick McDermott |
summaryrefslogtreecommitdiffstats |
-rw-r--r-- | main.css | 4 |
@@ -64,6 +64,10 @@ dl dd { font-size: 10pt; font-family: sans-serif; } +span.super { + vertical-align: 33%; + font-size: 9pt; +} a.skip { display: none; |