Add the HTML5 logo to the repository.

diff --git a/doc/HTML5_Badge.svg b/doc/HTML5_Badge.svg
new file mode 100644 (file)
index 0000000..872e08f
--- /dev/null
+++ b/doc/HTML5_Badge.svg
@@ -0,0 +1,7 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512">\r
+  <title>HTML5 Logo Badge</title>\r
+  <path fill="#E34F26" d="M71,460 L30,0 481,0 440,460 255,512"/>\r
+  <path fill="#EF652A" d="M256,472 L405,431 440,37 256,37"/>\r
+  <path fill="#EBEBEB" d="M256,208 L181,208 176,150 256,150 256,94 255,94 114,94 115,109 129,265 256,265zM256,355 L255,355 192,338 188,293 158,293 132,293 139,382 255,414 256,414z"/>\r
+  <path fill="#FFF" d="M255,208 L255,265 325,265 318,338 255,355 255,414 371,382 372,372 385,223 387,208 371,208zM255,94 L255,129 255,150 255,150 392,150 392,150 392,150 393,138 396,109 397,94z"/>\r
+</svg>\r