You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@isis.apache.org by bu...@apache.org on 2014/02/19 16:20:07 UTC
svn commit: r898534 [7/9] - in /websites/staging/isis/trunk: cgi-bin/
content/ content/archetypes/ content/archetypes/release-notes/
content/components/ content/components/objectstores/
content/components/objectstores/jdo/ content/components/objectstor...
Modified: websites/staging/isis/trunk/content/more-advanced-topics/how-to-tweak-the-ui-using-css-classes.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/how-to-tweak-the-ui-using-css-classes.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/how-to-tweak-the-ui-using-css-classes.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-advanced-topics/metamodel-finetuning-the-programming-model.html
==============================================================================
--- websites/staging/isis/trunk/content/more-advanced-topics/metamodel-finetuning-the-programming-model.html (original)
+++ websites/staging/isis/trunk/content/more-advanced-topics/metamodel-finetuning-the-programming-model.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/more-thanks.html
==============================================================================
--- websites/staging/isis/trunk/content/more-thanks.html (original)
+++ websites/staging/isis/trunk/content/more-thanks.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/other/about.html
==============================================================================
--- websites/staging/isis/trunk/content/other/about.html (original)
+++ websites/staging/isis/trunk/content/other/about.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/other/dsl.html
==============================================================================
--- websites/staging/isis/trunk/content/other/dsl.html (original)
+++ websites/staging/isis/trunk/content/other/dsl.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/other/eclipse-plugin.html
==============================================================================
--- websites/staging/isis/trunk/content/other/eclipse-plugin.html (original)
+++ websites/staging/isis/trunk/content/other/eclipse-plugin.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/other/jrebel.html
==============================================================================
--- websites/staging/isis/trunk/content/other/jrebel.html (original)
+++ websites/staging/isis/trunk/content/other/jrebel.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/other/maven-plugin.html
==============================================================================
--- websites/staging/isis/trunk/content/other/maven-plugin.html (original)
+++ websites/staging/isis/trunk/content/other/maven-plugin.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/DomainObjectContainer.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/DomainObjectContainer.html (original)
+++ websites/staging/isis/trunk/content/reference/DomainObjectContainer.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/Event.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/Event.html (original)
+++ websites/staging/isis/trunk/content/reference/Event.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/Recognized-Methods-and-Prefixes.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/Recognized-Methods-and-Prefixes.html (original)
+++ websites/staging/isis/trunk/content/reference/Recognized-Methods-and-Prefixes.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/Security.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/Security.html (original)
+++ websites/staging/isis/trunk/content/reference/Security.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/Utility.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/Utility.html (original)
+++ websites/staging/isis/trunk/content/reference/Utility.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/about.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/about.html (original)
+++ websites/staging/isis/trunk/content/reference/about.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/configuration-files.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/configuration-files.html (original)
+++ websites/staging/isis/trunk/content/reference/configuration-files.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/deployment-type.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/deployment-type.html (original)
+++ websites/staging/isis/trunk/content/reference/deployment-type.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/non-ui/about.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/non-ui/about.html (original)
+++ websites/staging/isis/trunk/content/reference/non-ui/about.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/non-ui/background-command-execution.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/non-ui/background-command-execution.html (original)
+++ websites/staging/isis/trunk/content/reference/non-ui/background-command-execution.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/non-ui/isis-session-template.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/non-ui/isis-session-template.html (original)
+++ websites/staging/isis/trunk/content/reference/non-ui/isis-session-template.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/object-lifecycle-callbacks.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/object-lifecycle-callbacks.html (original)
+++ websites/staging/isis/trunk/content/reference/object-lifecycle-callbacks.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/ActionOrder.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/ActionOrder.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/ActionOrder.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/ActionSemantics.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/ActionSemantics.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/ActionSemantics.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Aggregated.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Aggregated.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Aggregated.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Audited.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Audited.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Audited.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/AutoComplete.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/AutoComplete.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/AutoComplete.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Bounded.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Bounded.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Bounded.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Bulk.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Bulk.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Bulk.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Command.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Command.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Command.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/CssClass.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/CssClass.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/CssClass.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Debug.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Debug.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Debug.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Defaulted.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Defaulted.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Defaulted.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/DescribedAs.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/DescribedAs.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/DescribedAs.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Disabled.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Disabled.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Disabled.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Encodable.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Encodable.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Encodable.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/EqualByContent.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/EqualByContent.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/EqualByContent.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Exploration.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Exploration.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Exploration.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Facets.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Facets.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Facets.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/FieldOrder.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/FieldOrder.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/FieldOrder.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Hidden.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Hidden.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Hidden.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Idempotent-deprecated.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Idempotent-deprecated.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Idempotent-deprecated.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Ignore-deprecated.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Ignore-deprecated.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Ignore-deprecated.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Immutable.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Immutable.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Immutable.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>
Modified: websites/staging/isis/trunk/content/reference/recognized-annotations/Inject.html
==============================================================================
--- websites/staging/isis/trunk/content/reference/recognized-annotations/Inject.html (original)
+++ websites/staging/isis/trunk/content/reference/recognized-annotations/Inject.html Wed Feb 19 15:20:02 2014
@@ -226,47 +226,6 @@
$().dropdown()
</script>
- <script type="text/javascript">
-
- // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
- /**
- * Check an href for an anchor. If exists, and in document, scroll to it.
- * If href argument omitted, assumes context (this) is HTML Element,
- * which will be the case when invoked by jQuery after an event
- */
- function scroll_if_anchor(href) {
- href = typeof(href) == "string" ? href : $(this).attr("href");
-
- // If href missing, ignore
- if(!href) return false;
-
- // You could easily calculate this dynamically if you prefer
- var fromTop = 50;
-
- // If our Href points to a valid, non-empty anchor, and is on the same page (e.g. #foo)
- // Legacy jQuery and IE7 may have issues: http://stackoverflow.com/q/1593174
- if(href.charAt(0) == "#") {
- var $target = $(href);
-
- // Older browsers without pushState might flicker here, as they momentarily
- // jump to the wrong position (IE < 10)
- if($target.length) {
- $('html, body').animate({ scrollTop: $target.offset().top - fromTop });
- if(history && "pushState" in history) {
- history.pushState({}, document.title, window.location.pathname + href);
- return false;
- }
- }
- }
- }
-
- // When our page loads, check to see if it contains and anchor
- scroll_if_anchor(window.location.hash);
-
- // Intercept all anchor clicks
- $("body").on("click", "a", scroll_if_anchor);
- </script>
-
</head>