diff options
Diffstat (limited to 'export')
| -rw-r--r-- | export/styles.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/export/styles.css b/export/styles.css index 71c36d7..33d7a15 100644 --- a/export/styles.css +++ b/export/styles.css @@ -243,3 +243,8 @@ footer { margin: 1em; padding: 1em; } + +.instr { + font-size: 0.7em; + margin-top: 1em; +} |