diff options
Diffstat (limited to 'public/css')
| -rw-r--r-- | public/css/sublab-2013041401.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/css/sublab-2013041401.css b/public/css/sublab-2013041401.css index c16e3d6..861a448 100644 --- a/public/css/sublab-2013041401.css +++ b/public/css/sublab-2013041401.css @@ -237,6 +237,7 @@ pre { margin: 5px 15px 5px 15px; color: #ddd; line-height: 20px; + padding: 1.0ex; } p.subtext { |