diff options
Diffstat (limited to 'src/css/doc.css')
| -rw-r--r-- | src/css/doc.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/css/doc.css b/src/css/doc.css index ec7f88d..b9e698d 100644 --- a/src/css/doc.css +++ b/src/css/doc.css @@ -84,7 +84,7 @@ /* what about td/th code? */ .doc p code { - font-size: 0.85em; + font-size: 0.95em; background-color: #fafafa; padding: 0.075rem 0.25rem 0.125rem; border-radius: 0.2rem; @@ -165,7 +165,7 @@ .doc .admonitionblock p, .doc .admonitionblock td.content { - font-size: 0.8rem; + font-size: 0.95rem; } .doc .admonitionblock table { @@ -383,6 +383,7 @@ padding: 0; } +.doc .admonitionblock .title, .doc .exampleblock .title, .doc .literalblock .title, .doc .listingblock .title { |