diff --git a/doc/_includes/show_source.html b/doc/_includes/show_source.html
index 083b0d30f3..3fa97b488a 100644
--- a/doc/_includes/show_source.html
+++ b/doc/_includes/show_source.html
@@ -19,10 +19,12 @@
{% endif %}
{% highlight text %}{{ source }}{% endhighlight %}
{% endif %}
+ {% if include.copy %}
+ {% capture id %}{{ include.id }}{{ include.lang }}CopySource{% endcapture %}
+
+
{{ source }}
+
+
+ {% endif %}
-{% if include.copy %}
- {% capture id %}{{ include.id }}{{ include.lang }}CopySource{% endcapture %}
- {{ source }}
-
-{% endif %}
diff --git a/doc/_layouts/default.html b/doc/_layouts/default.html
index dfaf39c046..d877f76fb5 100644
--- a/doc/_layouts/default.html
+++ b/doc/_layouts/default.html
@@ -20,7 +20,6 @@
{% if site.use_local_libraries %}
-
@@ -28,7 +27,6 @@
{% else %}
-
@@ -99,4 +97,11 @@