Also use the prettify.js from the extentions directory.

This commit is contained in:
Winfried Tilanus 2015-11-16 20:45:03 +01:00
parent 1890796daa
commit c74cd46b92
1 changed files with 1 additions and 1 deletions

View File

@ -43,7 +43,7 @@ OR OTHER DEALINGS IN THE SOFTWARE.
<link rel='stylesheet' type='text/css' href='xmpp.css' /> <link rel='stylesheet' type='text/css' href='xmpp.css' />
<link href="prettify.css" type="text/css" rel="stylesheet" /> <link href="prettify.css" type="text/css" rel="stylesheet" />
<link rel='shortcut icon' type='image/x-icon' href='/favicon.ico' /> <link rel='shortcut icon' type='image/x-icon' href='/favicon.ico' />
<script type="text/javascript" src="../prettify.js"></script> <script type="text/javascript" src="prettify.js"></script>
<!-- making things mobile-friendly... --> <!-- making things mobile-friendly... -->
<meta> <meta>
<xsl:attribute name='name'><xsl:text>viewport</xsl:text></xsl:attribute> <xsl:attribute name='name'><xsl:text>viewport</xsl:text></xsl:attribute>