diff --git a/docs/docs/dlib.css b/docs/docs/dlib.css
index 0988168f8..e7e9fb45c 100644
--- a/docs/docs/dlib.css
+++ b/docs/docs/dlib.css
@@ -248,6 +248,11 @@ div.inc {
    float: right;
 }
 
+video
+{
+   border: black dotted 1px;
+   border-bottom: black solid 2px;
+}
 
 .code_box
 {
diff --git a/docs/docs/stylesheet.xsl b/docs/docs/stylesheet.xsl
index 595f74c24..97a7fa30c 100644
--- a/docs/docs/stylesheet.xsl
+++ b/docs/docs/stylesheet.xsl
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="ISO-8859-1" ?>
+<?xml version="1.0" encoding="utf8" ?>
    
 <!--
    To the extent possible under law, Davis E King  has waived all copyright and 
@@ -731,6 +731,11 @@
          </ul>
       </xsl:if>
    </xsl:template>   
+   <xsl:template match="ol">
+      <ol>
+         <xsl:apply-templates/>
+       </ol>
+   </xsl:template>   
    <xsl:template match="u">
       <u>
          <xsl:apply-templates/>
@@ -781,6 +786,12 @@
          <xsl:apply-templates/>
        </img>
    </xsl:template>   
+   <xsl:template match="video">
+      <video controls="">
+         <source src="{@src}" type="video/webm"/>
+         <xsl:apply-templates/>
+      </video>
+   </xsl:template>   
 
    <xsl:template name="term_list_go">
       <xsl:param name="num"/>
diff --git a/docs/makedocs b/docs/makedocs
index ca5fdc68c..6f39dee9d 100755
--- a/docs/makedocs
+++ b/docs/makedocs
@@ -219,9 +219,11 @@ makedocs ()
     cp docs/*.js docs/chm/docs
     cp docs/*.png docs/web
     cp docs/*.jpg docs/web
+    cp docs/*.webm docs/web
     cp docs/*.ico docs/web
     cp docs/*.png docs/chm/docs
     cp docs/*.jpg docs/chm/docs
+    cp docs/*.webm docs/chm/docs
     cp docs/*.ico docs/chm/docs
 
     cd docs/chm/docs || report_failure