From 6cfdc4f5457e45b3c0a3e5dcd3cf9c689177378d Mon Sep 17 00:00:00 2001
From: Roger Clotet <clotet89@gmail.com>
Date: Thu, 8 Aug 2019 21:21:01 +0200
Subject: [PATCH] Hide header in DefaultTheme demo

---
 docs/src/pages/customization/default-theme/default-theme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/pages/customization/default-theme/default-theme.md b/docs/src/pages/customization/default-theme/default-theme.md
index 91221a888ed3b5..aedde7ad9c1e13 100644
--- a/docs/src/pages/customization/default-theme/default-theme.md
+++ b/docs/src/pages/customization/default-theme/default-theme.md
@@ -6,7 +6,7 @@
 
 Explore the documentation theme object:
 
-{{"demo": "pages/customization/default-theme/DefaultTheme.js", "hideEditButton": true}}
+{{"demo": "pages/customization/default-theme/DefaultTheme.js", "hideHeader": true}}
 
 > Tip: you can play with the documentation theme object in **your console**.
 We expose a documentation `theme` variable on all the documentation pages.