diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-03 13:55:34 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-03 13:55:34 +0200 |
| commit | 624cbb5da392e9403984dd1cf368c0d408b1c2a8 (patch) | |
| tree | 489c049ac849bb5bbce7d32e4df477872c58373d /tex/context/base/export-example.css | |
| parent | 088de88944c1f2254250bb448c7371a87ff7ee39 (diff) | |
| download | context-624cbb5da392e9403984dd1cf368c0d408b1c2a8.tar.gz | |
2014-01-03 00:42:00
Diffstat (limited to 'tex/context/base/export-example.css')
| -rw-r--r-- | tex/context/base/export-example.css | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tex/context/base/export-example.css b/tex/context/base/export-example.css index dbecc01fe..06d51c587 100644 --- a/tex/context/base/export-example.css +++ b/tex/context/base/export-example.css @@ -709,18 +709,3 @@ a[href]:hover { color : rgb(50%,0%,0%) ; text-decoration : underline ; } - -/* setups */ - -setup { - display : block ; -} - -comment { - background-color : rgb(50%,75%,100%) ; - display : block ; - padding : 1em ; - margin-bottom : 1em ; - margin-top : 1em ; - font-family : "Lucida Console", "DejaVu Sans Mono", monospace ; -} |