diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index d694ce3bd..63f0a4eb7 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -72,7 +72,7 @@ endfor >Samples
  • Playground
  • + >Lab
  • Source