diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/header.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/header.html b/docs/header.html index beb85e98a..c8cb135f5 100644 --- a/docs/header.html +++ b/docs/header.html @@ -15,6 +15,21 @@ td.c2 {font-family: arial, helvetica, sans-serif; font-size: 80%} td.c1 {font-family: lucida, helvetica; font-size: 248%} </style> +<script type="text/javascript"> + + var _gaq = _gaq || []; + _gaq.push(['_setAccount', 'UA-21761074-1']); + _gaq.push(['_setDomainName', 'none']); + _gaq.push(['_setAllowLinker', true]); + _gaq.push(['_trackPageview']); + + (function() { + var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; + ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; + var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); + })(); + +</script> </head> <body> |