diff options
| author | Teddy Wing | 2018-11-08 17:55:03 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-08 17:55:03 +0100 |
| commit | 53b5fbba07c6f4662ad3eccb9c976c86584cfaba (patch) | |
| tree | e2750d31ced86b8b08a49b207064d1bcdbda5063 /assets/stylesheets | |
| parent | 3fed5de1b0b8b390e89b4c85cdceebcdb4560ebd (diff) | |
| download | dome-key-web-53b5fbba07c6f4662ad3eccb9c976c86584cfaba.tar.bz2 | |
Use a smaller font size for mapping examples
Diffstat (limited to 'assets/stylesheets')
| -rw-r--r-- | assets/stylesheets/typography.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/assets/stylesheets/typography.css b/assets/stylesheets/typography.css index f83a920..b1d036a 100644 --- a/assets/stylesheets/typography.css +++ b/assets/stylesheets/typography.css @@ -10,3 +10,7 @@ h2 { .code { font-family: "Monaco", monospace; } + +.font-size-0\.8 { + font-size: 0.8em; +} |