diff options
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css index ca5e4220..b3fc16b7 100644 --- a/html/Ocean.std-theme/ocean.css +++ b/html/Ocean.std-theme/ocean.css @@ -58,7 +58,7 @@ table { pre, code, kbd, samp, tt, .src { font-family:monospace; *font-size:108%; - line-height: 120%; + line-height: 124%; } .links, .link { |