diff options
| author | Christian Franke <nobody@nowhere.ws> | 2013-05-07 02:48:09 +0200 |
|---|---|---|
| committer | Christian Franke <nobody@nowhere.ws> | 2013-05-07 02:48:09 +0200 |
| commit | 5f441d51eb5f9c7a81741418a611b5acccd2423d (patch) | |
| tree | 0d61c29b0e5d3a1485cae1e7609e72770e9b04d0 /public/css | |
| parent | 9b318cc764ba81d3d68b5b05442624becd2ca492 (diff) | |
And another highlight change :/
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 { |