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 [4/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/contributors/key-generation.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/key-generation.html (original)
+++ websites/staging/isis/trunk/content/contributors/key-generation.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/contributors/pmc-notes.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/pmc-notes.html (original)
+++ websites/staging/isis/trunk/content/contributors/pmc-notes.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/contributors/recreating-an-archetype.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/recreating-an-archetype.html (original)
+++ websites/staging/isis/trunk/content/contributors/recreating-an-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/contributors/release-branch-and-tag-names.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/release-branch-and-tag-names.html (original)
+++ websites/staging/isis/trunk/content/contributors/release-branch-and-tag-names.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/contributors/release-process-one-pager.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/release-process-one-pager.html (original)
+++ websites/staging/isis/trunk/content/contributors/release-process-one-pager.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/contributors/release-process.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/release-process.html (original)
+++ websites/staging/isis/trunk/content/contributors/release-process.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/contributors/snapshot-process.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/snapshot-process.html (original)
+++ websites/staging/isis/trunk/content/contributors/snapshot-process.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/contributors/upd_sh.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/upd_sh.html (original)
+++ websites/staging/isis/trunk/content/contributors/upd_sh.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/contributors/updating-the-cms-site.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/updating-the-cms-site.html (original)
+++ websites/staging/isis/trunk/content/contributors/updating-the-cms-site.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/contributors/verifying-releases-script.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/verifying-releases-script.html (original)
+++ websites/staging/isis/trunk/content/contributors/verifying-releases-script.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/contributors/verifying-releases-using-creadur-tools.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/verifying-releases-using-creadur-tools.html (original)
+++ websites/staging/isis/trunk/content/contributors/verifying-releases-using-creadur-tools.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/contributors/verifying-releases.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/verifying-releases.html (original)
+++ websites/staging/isis/trunk/content/contributors/verifying-releases.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/contributors/versioning-policy.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/versioning-policy.html (original)
+++ websites/staging/isis/trunk/content/contributors/versioning-policy.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/core/about.html
==============================================================================
--- websites/staging/isis/trunk/content/core/about.html (original)
+++ websites/staging/isis/trunk/content/core/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/core/bypass-security.html
==============================================================================
--- websites/staging/isis/trunk/content/core/bypass-security.html (original)
+++ websites/staging/isis/trunk/content/core/bypass-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/core/bytecode.html
==============================================================================
--- websites/staging/isis/trunk/content/core/bytecode.html (original)
+++ websites/staging/isis/trunk/content/core/bytecode.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/core/inmemory-objectstore.html
==============================================================================
--- websites/staging/isis/trunk/content/core/inmemory-objectstore.html (original)
+++ websites/staging/isis/trunk/content/core/inmemory-objectstore.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/core/inmemory-profilestore.html
==============================================================================
--- websites/staging/isis/trunk/content/core/inmemory-profilestore.html (original)
+++ websites/staging/isis/trunk/content/core/inmemory-profilestore.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/core/integtestsupport.html
==============================================================================
--- websites/staging/isis/trunk/content/core/integtestsupport.html (original)
+++ websites/staging/isis/trunk/content/core/integtestsupport.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/core/release-notes/about.html
==============================================================================
--- websites/staging/isis/trunk/content/core/release-notes/about.html (original)
+++ websites/staging/isis/trunk/content/core/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/core/release-notes/isis-1.0.0.html
==============================================================================
--- websites/staging/isis/trunk/content/core/release-notes/isis-1.0.0.html (original)
+++ websites/staging/isis/trunk/content/core/release-notes/isis-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/core/release-notes/isis-1.1.0.html
==============================================================================
--- websites/staging/isis/trunk/content/core/release-notes/isis-1.1.0.html (original)
+++ websites/staging/isis/trunk/content/core/release-notes/isis-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/core/release-notes/isis-1.2.0.html
==============================================================================
--- websites/staging/isis/trunk/content/core/release-notes/isis-1.2.0.html (original)
+++ websites/staging/isis/trunk/content/core/release-notes/isis-1.2.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/core/release-notes/isis-1.3.0.html
==============================================================================
--- websites/staging/isis/trunk/content/core/release-notes/isis-1.3.0.html (original)
+++ websites/staging/isis/trunk/content/core/release-notes/isis-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/core/runtime.html
==============================================================================
--- websites/staging/isis/trunk/content/core/runtime.html (original)
+++ websites/staging/isis/trunk/content/core/runtime.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/core/specsupport-and-integtestsupport.html
==============================================================================
--- websites/staging/isis/trunk/content/core/specsupport-and-integtestsupport.html (original)
+++ websites/staging/isis/trunk/content/core/specsupport-and-integtestsupport.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/core/unittestsupport.html
==============================================================================
--- websites/staging/isis/trunk/content/core/unittestsupport.html (original)
+++ websites/staging/isis/trunk/content/core/unittestsupport.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/core/webserver.html
==============================================================================
--- websites/staging/isis/trunk/content/core/webserver.html (original)
+++ websites/staging/isis/trunk/content/core/webserver.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/documentation.html
==============================================================================
--- websites/staging/isis/trunk/content/documentation.html (original)
+++ websites/staging/isis/trunk/content/documentation.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>
@@ -800,9 +759,12 @@
<p></div>
</div>
<div class="row">
-<div class="col-md-12"></p>
+<div class="col-md-12">
+<a name="restfulobjects-viewer"></p>
+
+<h2>RestfulObjects Viewer <a href="components/viewers/restfulobjects/release-notes/about.html">2.1.0</a></h2>
-<h2><a name="restfulobjects-viewer">RestfulObjects Viewer</a> <a href="components/viewers/restfulobjects/release-notes/about.html">2.1.0</a></div></h2>
+<p></a></div></p>
<p><div class="col-md-4"></p>
Modified: websites/staging/isis/trunk/content/download.html
==============================================================================
--- websites/staging/isis/trunk/content/download.html (original)
+++ websites/staging/isis/trunk/content/download.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/how-tos/about.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/about.html (original)
+++ websites/staging/isis/trunk/content/how-tos/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/how-tos/how-to-01-010-How-to-have-a-domain-object-be-a-POJO.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-010-How-to-have-a-domain-object-be-a-POJO.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-010-How-to-have-a-domain-object-be-a-POJO.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/how-tos/how-to-01-030-How-to-add-a-property-to-a-domain-entity.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-030-How-to-add-a-property-to-a-domain-entity.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-030-How-to-add-a-property-to-a-domain-entity.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/how-tos/how-to-01-040-How-to-specify-a-title-for-a-domain-entity.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-040-How-to-specify-a-title-for-a-domain-entity.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-040-How-to-specify-a-title-for-a-domain-entity.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/how-tos/how-to-01-050-How-to-add-a-collection-to-a-domain-entity.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-050-How-to-add-a-collection-to-a-domain-entity.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-050-How-to-add-a-collection-to-a-domain-entity.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/how-tos/how-to-01-060-How-to-add-an-action-to-a-domain-entity-or-service.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-060-How-to-add-an-action-to-a-domain-entity-or-service.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-060-How-to-add-an-action-to-a-domain-entity-or-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/how-tos/how-to-01-070-How-to-specify-the-icon-for-a-domain-entity.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-070-How-to-specify-the-icon-for-a-domain-entity.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-070-How-to-specify-the-icon-for-a-domain-entity.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/how-tos/how-to-01-080-How-to-specify-the-order-in-which-properties-or-collections-are-displayed.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-080-How-to-specify-the-order-in-which-properties-or-collections-are-displayed.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-080-How-to-specify-the-order-in-which-properties-or-collections-are-displayed.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/how-tos/how-to-01-090-How-to-specify-the-order-in-which-actions-appear-on-the-menu.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-090-How-to-specify-the-order-in-which-actions-appear-on-the-menu.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-090-How-to-specify-the-order-in-which-actions-appear-on-the-menu.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/how-tos/how-to-01-100-How-to-make-a-property-optional.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-100-How-to-make-a-property-optional.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-100-How-to-make-a-property-optional.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/how-tos/how-to-01-110-How-to-make-an-action-parameter-optional.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-110-How-to-make-an-action-parameter-optional.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-110-How-to-make-an-action-parameter-optional.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/how-tos/how-to-01-120-How-to-specify-the-size-of-String-properties.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-120-How-to-specify-the-size-of-String-properties.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-120-How-to-specify-the-size-of-String-properties.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>