HTML5 writer: support <video>.

Use <video> for images with video MIME types supported by HTML5.

git-svn-id: https://svn.code.sf.net/p/docutils/code/trunk/docutils@8639 929543f6-e4f2-0310-98a6-ba3bd3dd1d04

1 files changed, 34 insertions, 0 deletions

diff --git a/test/functional/input/data/video.txt b/test/functional/input/data/video.txt
new file mode 100644
index 000000000..46ca2ff1a
--- /dev/null
+++ b/test/functional/input/data/video.txt
@@ -0,0 +1,34 @@
+Moving images (video)
+---------------------
+
+If the URL given to `images and figures` hints to a video format
+supported by HTML 5 (MIME types 'video/mp4', 'video/webm', or
+'video/ogg'), the HTML5 writer will place it in a `video element`_.
+
+.. image:: ../../../docs/user/rst/images/pens.mp4
+   :align: left
+   :alt: left-aligned test video
+
+A class option value "controls" tells the browser to display controls
+for video playback.
+
+It is a good idea to include width and height attributes. If
+height and width are not set, the page might flicker while the video
+loads. According to the `HTML5 spec`__, hight and width must be
+specified as pixel values. 
+
+.. figure:: ../../../docs/user/rst/images/pens.mp4
+   :width: 30%
+   :align: center
+   :class: controls
+
+   Simple test video in a centered figure
+
+.. |testvideo| image:: ../../../docs/user/rst/images/pens.mp4
+   :width: 60 px
+
+A video like this |testvideo| can be included inline via substitution.
+
+__
+.. _video element:
+   https://developer.mozilla.org/en-US/docs/Web/HTML/Element/video