Skip to content

D
dlib
Commit 5c7f517b authored by Davis King's avatar Davis King
Browse files
Options

Removed unneeded leading white space characters so that the resulting 

HTML pages are a little smaller.
parent bc189464
Show whitespace changes
Inline Side-by-side
Showing with 41 additions and 41 deletions
docs/docs/stylesheet.xsl
View file @ 5c7f517b
...@@ -47,44 +47,44 @@ ...@@ -47,44 +47,44 @@
<xsl:template match="/doc"> <xsl:template match="/doc">
<html> <html>
<head> <head>
<!-- Verify with Google --> <!-- Verify with Google -->
<meta name="verify-v1" content="{$google_verify_id}" /> <meta name="verify-v1" content="{$google_verify_id}" />
<meta name="google-site-verification" content="{$google_verify_id2}" /> <meta name="google-site-verification" content="{$google_verify_id2}" />
<title> <title>
<xsl:value-of select="$project_name"/> <xsl:value-of select="$project_name"/>
<xsl:if test="title"> <xsl:if test="title">
- <xsl:value-of select="title" /> - <xsl:value-of select="title" />
</xsl:if> </xsl:if>
</title> </title>
<xsl:if test="$is_chm != 'true'"> <xsl:if test="$is_chm != 'true'">
<!-- Piwik --> <!-- Piwik -->
<script type="text/javascript"> <script type="text/javascript">
var pkBaseURL = (("https:" == document.location.protocol) ? "https://apps.sourceforge.net/piwik/dclib/" : "http://apps.sourceforge.net/piwik/dclib/"); var pkBaseURL = (("https:" == document.location.protocol) ? "https://apps.sourceforge.net/piwik/dclib/" : "http://apps.sourceforge.net/piwik/dclib/");
document.write(unescape("%3Cscript src='" + pkBaseURL + "piwik.js' type='text/javascript'%3E%3C/script%3E")); document.write(unescape("%3Cscript src='" + pkBaseURL + "piwik.js' type='text/javascript'%3E%3C/script%3E"));
</script><script type="text/javascript"> </script><script type="text/javascript">
piwik_action_name = ''; piwik_action_name = '';
piwik_idsite = 1; piwik_idsite = 1;
piwik_url = pkBaseURL + "piwik.php"; piwik_url = pkBaseURL + "piwik.php";
piwik_log(piwik_action_name, piwik_idsite, piwik_url); piwik_log(piwik_action_name, piwik_idsite, piwik_url);
</script> </script>
<object><noscript><p><img src="http://apps.sourceforge.net/piwik/dclib/piwik.php?idsite=1" alt="piwik"/></p></noscript></object> <object><noscript><p><img src="http://apps.sourceforge.net/piwik/dclib/piwik.php?idsite=1" alt="piwik"/></p></noscript></object>
<!-- End Piwik Tag --> <!-- End Piwik Tag -->
</xsl:if> </xsl:if>
<!-- [client side code for collapsing and unfolding branches] --> <!-- [client side code for collapsing and unfolding branches] -->
<script language="JavaScript"> <script language="JavaScript">
// --------------------------------------------- // ---------------------------------------------
// --- Name: Easy DHTML Treeview -- // --- Name: Easy DHTML Treeview --
// --- Author: D.D. de Kerf -- // --- Author: D.D. de Kerf --
// --- Version: 0.2 Date: 13-6-2001 -- // --- Version: 0.2 Date: 13-6-2001 --
// --------------------------------------------- // ---------------------------------------------
function Toggle(node) function Toggle(node)
{ {
// Unfold the branch if it isn't visible // Unfold the branch if it isn't visible
var next_node = node.nextSibling; var next_node = node.nextSibling;
if (next_node.style.display == 'none') if (next_node.style.display == 'none')
...@@ -121,9 +121,9 @@ ...@@ -121,9 +121,9 @@
next_node.style.display = 'none'; next_node.style.display = 'none';
} }
} }
function BigToggle(node) function BigToggle(node)
{ {
// Unfold the branch if it isn't visible // Unfold the branch if it isn't visible
var next_node = node.nextSibling; var next_node = node.nextSibling;
if (next_node.style.display == 'none') if (next_node.style.display == 'none')
...@@ -160,10 +160,10 @@ ...@@ -160,10 +160,10 @@
next_node.style.display = 'none'; next_node.style.display = 'none';
} }
} }
</script> </script>
<style type="text/css"> <style type="text/css">
body {margin:0px;} body {margin:0px;}
pre {margin:0px;} pre {margin:0px;}
...@@ -278,7 +278,7 @@ ...@@ -278,7 +278,7 @@
margin-left: auto; margin-left: auto;
margin-right: auto; margin-right: auto;
} }
</style> </style>
</head> </head>
<body bgcolor="{$background_color}"> <body bgcolor="{$background_color}">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment