* ” right (closing) typographic double quote
*
-->
-<dl class="masthead"><!-- hidden for masthead class -->
-<!-- FIXME: is there a better way to do this? We need to propagate
- content to the "as-page-title" and "as-page-subtitle" place-holders,
- within the "page-content" div of "index.html"; our javascript page
- loader will explicitly look for these hidden elements, and copy
- their content into the corresponding visible place-holders.
--->
- <dt id="page-title">MinGW.OSDN Licensing</dt>
- <dt id="page-subtitle">The MinGW Free Documentation Licence</dt>
-</dl><!-- masthead -->
+<script class="masthead">
+/* Script fragment, to assign titles specific to this page; this is
+ * encapsulated within the "masthead", where such titles are displayed,
+ * to ensure that whatever page content may follow will be correctly
+ * positioned, relative to the masthead content.
+ */
+ set_page("title", "MinGW.OSDN Licensing");
+ set_page("subtitle", "The MinGW Free Documentation Licence");
+</script><!-- masthead -->
<p>Copyright © 2020, MinGW.OSDN Project
</p>
<p>Redistribution and use in source and ‘compiled’ forms
(SGML, HTML, PDF, PostScript, RTF, etc.) with or without modification,
are permitted provided that the following conditions are met:—
</p>
-<ol style="margin: 0.2em 0 0 0;">
+<ol>
<li style="padding-bottom: 0.2em;">
Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer as