diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2020-07-23 12:32:02 +0200 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2020-07-23 12:32:06 +0200 |
| commit | 05e2a04c4aef39ee8b9b20e9857ef8eb60e3a174 (patch) | |
| tree | e633b727a7cf9aadc534e3c5ff41cbb6e4d7df0c /styles | |
| parent | b2df5d68a71662f83c27edace4c828ccb5ea07e1 (diff) | |
Diffstat (limited to 'styles')
| -rw-r--r-- | styles/opticks.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/styles/opticks.css b/styles/opticks.css index 41da4c7..e4649fa 100644 --- a/styles/opticks.css +++ b/styles/opticks.css @@ -140,6 +140,12 @@ pre, code, pre.code { white-space: pre; } +.code { + margin: 0.8em; + padding: 0.2em; + background-color: #eee; +} + /* Uniform links (reset all the stupid variants to a single color) */ /* FIXME: don't export this to the final CSS, it's only used in preprocessing */ .uniform-links(@color) { |