diff options
Diffstat (limited to '')
-rw-r--r-- | source/css/theme.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/css/theme.css b/source/css/theme.css index 969e73c2..d7983bef 100644 --- a/source/css/theme.css +++ b/source/css/theme.css @@ -89,6 +89,10 @@ img { font-size: 10pt; } +.figure .caption code { + font-size: 9.5pt; +} + a { color: #333; } |