diff options
| author | 2014-01-19 23:46:06 +0100 | |
|---|---|---|
| committer | 2014-01-19 23:46:06 +0100 | |
| commit | a4b8e96232a473812a06bda0322b44747bd37a95 (patch) | |
| tree | 11d51234ab8e38d8bff970bcafc14e42c5b28b71 | |
| parent | 97d248c1010ce2d9df477af1b8b0746ce4c62051 (diff) | |
| download | edocs-a4b8e96232a473812a06bda0322b44747bd37a95.tar.gz edocs-a4b8e96232a473812a06bda0322b44747bd37a95.zip | |
Use blockquote instead of div
This improves readability for (some) text-based browsers.
| -rw-r--r-- | edocs.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -250,7 +250,7 @@ parts of the module." ("href" . ,(concat "#" name))) (insert name))) (insert " " (if (consp doc) (car doc) "")) - (edocs--with-tag "div" '(("class" . "docstring")) + (edocs--with-tag "blockquote" '(("class" . "docstring")) (insert (or (edocs--format-doc doc known-symbols) "Not documented."))))) (edocs--normalize docs)))) |
