Jon Dufresne e6915baae8 Remove redundant type="text/javascript" from <script> elements ...

In HTML5, <script> elements default to MIME type text/javascript. The
HTML5 living standard and MDN recommend against including the attribute.

From https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script#attr-type

> The HTML5 specification urges authors to omit the attribute rather
> than provide a redundant MIME type.

From https://html.spec.whatwg.org/#the-script-element

> Authors should omit the type attribute instead of redundantly setting
> it.

2019-12-15 07:52:40 -08:00

..

static

doc: avoid font-size when :mod: role in headings

2019-10-26 15:35:06 +09:00

layout.html

Remove redundant type="text/javascript" from <script> elements

2019-12-15 07:52:40 -08:00

theme.conf

New doc design "sphinx13".

2013-01-18 23:17:11 +01:00