[devdocsgjs/main: 536/1867] Add logos

[Andy Holmes <andyholmes src gnome org>]

commit 81efc885ec2256fd6688da1c247346591d143c63
Author: Harm Aarts <harmaarts gmail com>
Date:   Thu Dec 13 22:33:17 2018 +0100

    Add logos

 public/icons/docs/pony/16.png    | Bin 0 -> 1979 bytes
 public/icons/docs/pony/16 2x png | Bin 0 -> 1979 bytes
 public/icons/docs/pony/SOURCE    |   1 +
 3 files changed, 1 insertion(+)
---
diff --git a/public/icons/docs/pony/16.png b/public/icons/docs/pony/16.png
new file mode 100644
index 00000000..daed6509
Binary files /dev/null and b/public/icons/docs/pony/16.png differ
diff --git a/public/icons/docs/pony/16 2x png b/public/icons/docs/pony/16 2x png
new file mode 100644
index 00000000..daed6509
Binary files /dev/null and b/public/icons/docs/pony/16 2x png differ
diff --git a/public/icons/docs/pony/SOURCE b/public/icons/docs/pony/SOURCE
new file mode 100644
index 00000000..c39ba900
--- /dev/null
+++ b/public/icons/docs/pony/SOURCE
@@ -0,0 +1 @@
+https://raw.githubusercontent.com/ponylang/ponylang-website/master/static/images/logo.png