Remove unnecessary "type" attribute (#4956)

mmistakes · Aug 20, 2024 · 3d44327 · 3d44327
1 parent b0b2698
commit 3d44327
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_includes/head.html b/_includes/head.html
@@ -9,7 +9,7 @@
 {%- comment %} https://docs.google.com/presentation/d/1rmxwWa9P6_xHqonmh5ONXRS-jPc5XKbnv99Rjkhe04s/present {% endcomment -%}
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-<script type="text/javascript">
+<script>
   document.documentElement.className = document.documentElement.className.replace(/\bno-js\b/g, '') + ' js ';
   {% if site.enable_copy_code_button -%}
     window.enable_copy_code_button = true;