diff options
author | Tom Willemse | 2014-01-19 23:46:06 +0100 |
---|---|---|
committer | Tom Willemse | 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)))) |