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 [2/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/components/objectstores/jdo/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/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/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.0.0.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.0.0.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.0.0.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/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.1.0.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.1.0.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.1.0.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/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.3.0.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.3.0.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/release-notes/isis-objectstore-jdo-1.3.0.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/components/objectstores/jdo/services/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/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/components/objectstores/jdo/services/auditing-service-jdo.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/auditing-service-jdo.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/auditing-service-jdo.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/components/objectstores/jdo/services/background-command-service-jdo.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/background-command-service-jdo.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/background-command-service-jdo.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/components/objectstores/jdo/services/command-service-jdo.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/command-service-jdo.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/command-service-jdo.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/components/objectstores/jdo/services/exception-recognizers-jdo.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/exception-recognizers-jdo.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/exception-recognizers-jdo.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/components/objectstores/jdo/services/isisjdosupport-service.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/isisjdosupport-service.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/isisjdosupport-service.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/components/objectstores/jdo/services/publishing-service-jdo.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/publishing-service-jdo.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/publishing-service-jdo.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/components/objectstores/jdo/services/settings-services-jdo.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/services/settings-services-jdo.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/services/settings-services-jdo.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/components/objectstores/jdo/using-jndi-datasource.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/jdo/using-jndi-datasource.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/jdo/using-jndi-datasource.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/components/objectstores/nosql/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/nosql/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/nosql/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/components/objectstores/nosql/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/nosql/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/nosql/release-notes/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/components/objectstores/sql/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/sql/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/sql/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/components/objectstores/sql/configuring-the-sql-os-objectstore-with-the-quickstart-archetype.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/sql/configuring-the-sql-os-objectstore-with-the-quickstart-archetype.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/sql/configuring-the-sql-os-objectstore-with-the-quickstart-archetype.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/components/objectstores/sql/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/sql/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/sql/release-notes/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/components/objectstores/xml/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/xml/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/xml/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/components/objectstores/xml/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/objectstores/xml/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/objectstores/xml/release-notes/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/components/profilestores/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/profilestores/about.html (original)
+++ websites/staging/isis/trunk/content/components/profilestores/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/components/profilestores/sql/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/profilestores/sql/about.html (original)
+++ websites/staging/isis/trunk/content/components/profilestores/sql/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/components/profilestores/sql/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/profilestores/sql/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/profilestores/sql/release-notes/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/components/profilestores/xml/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/profilestores/xml/about.html (original)
+++ websites/staging/isis/trunk/content/components/profilestores/xml/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/components/profilestores/xml/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/profilestores/xml/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/profilestores/xml/release-notes/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/components/progmodels/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/progmodels/about.html (original)
+++ websites/staging/isis/trunk/content/components/progmodels/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/components/progmodels/groovy/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/progmodels/groovy/about.html (original)
+++ websites/staging/isis/trunk/content/components/progmodels/groovy/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/components/progmodels/groovy/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/progmodels/groovy/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/progmodels/groovy/release-notes/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/components/security/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/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/components/security/file/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/file/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/file/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/components/security/file/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/file/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/file/release-notes/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/components/security/file/release-notes/isis-security-file-1.0.0.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/file/release-notes/isis-security-file-1.0.0.html (original)
+++ websites/staging/isis/trunk/content/components/security/file/release-notes/isis-security-file-1.0.0.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/components/security/file/release-notes/isis-security-file-1.0.1.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/file/release-notes/isis-security-file-1.0.1.html (original)
+++ websites/staging/isis/trunk/content/components/security/file/release-notes/isis-security-file-1.0.1.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/components/security/ldap/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/ldap/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/ldap/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/components/security/ldap/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/ldap/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/ldap/release-notes/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/components/security/shiro/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/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/components/security/shiro/configuring-shiro.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/configuring-shiro.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/configuring-shiro.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/components/security/shiro/format-of-permissions.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/format-of-permissions.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/format-of-permissions.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/components/security/shiro/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/release-notes/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/components/security/shiro/release-notes/isis-security-shiro-1.0.0.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/release-notes/isis-security-shiro-1.0.0.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/release-notes/isis-security-shiro-1.0.0.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/components/security/shiro/release-notes/isis-security-shiro-1.1.0.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/release-notes/isis-security-shiro-1.1.0.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/release-notes/isis-security-shiro-1.1.0.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/components/security/shiro/release-notes/isis-security-shiro-1.1.1.html
==============================================================================
--- websites/staging/isis/trunk/content/components/security/shiro/release-notes/isis-security-shiro-1.1.1.html (original)
+++ websites/staging/isis/trunk/content/components/security/shiro/release-notes/isis-security-shiro-1.1.1.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>