diff --git a/docs/static/microbit.docs.svg b/docs/static/microbit.docs.svg
new file mode 100644
index 00000000..6392907d
--- /dev/null
+++ b/docs/static/microbit.docs.svg
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/docs/static/microbit.red.svg b/docs/static/microbit.red.svg
index e66b808e..0ad2d248 100644
--- a/docs/static/microbit.red.svg
+++ b/docs/static/microbit.red.svg
@@ -1 +1 @@
-
\ No newline at end of file
+
\ No newline at end of file
diff --git a/pxtarget.json b/pxtarget.json
index 44233c1e..58b5d30a 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -74,7 +74,7 @@
"appTheme": {
"logoUrl": "https://m.pxt.io/about",
"logo": "./static/microbit.red.svg",
- "docsLogo": "./static/microbit.red.svg",
+ "docsLogo": "./static/microbit.docs.svg",
"portraitLogo":"./static/microbit.red.svg",
"footerLogo": "./static/microbit.red.svg",
"homeUrl": "https://m.pxt.io/",