docs: improved documentation of the extra/ extensions

Simplified, unified style, added some undocumented options.

NOTE: Footnotes/UNIQUE_IDS stays mostly undocumented

1 files changed, 4 insertions, 12 deletions

diff --git a/docs/extensions/definition_lists.txt b/docs/extensions/definition_lists.txt
index a5ba393..3a62f6a 100644
--- a/docs/extensions/definition_lists.txt
+++ b/docs/extensions/definition_lists.txt
@@ -32,7 +32,7 @@ Thus, the following text (taken from the above referenced PHP documentation):
     Orange
     :   The fruit of an evergreen tree of the genus Citrus.
 
-will be rendered like so:
+will be rendered as:
 
     <dl>
     <dt>Apple</dt>
@@ -47,15 +47,7 @@ will be rendered like so:
 Usage
 -----
 
-From the Python interpreter:
+See [Extensions](./index.html) for general extension usage, specify `def_list`
+as the name of the extension.
 
-    >>> html = markdown.markdown(text, ['def_list'])
-
-To use with other extensions, just add them to the list, like this:
-
-    >>> html = markdown.markdown(text, ['def_list', 'footnotes'])
-
-The extension can also be called from the command line using Markdown's `-x` 
-parameter:
-
-    python -m markdown -x def_list source.txt > output.html
+This extension does not accept any special configuration options.