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 15:49:05 UTC

svn commit: r898533 [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/git-policy.html
==============================================================================
--- websites/staging/isis/trunk/content/contributors/git-policy.html (original)
+++ websites/staging/isis/trunk/content/contributors/git-policy.html Wed Feb 19 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../../images/favicon.ico">
+
+    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../../javascript/prettyprint.js"></script>
+    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../../images/favicon.ico">
-
-    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../../javascript/prettyprint.js"></script>
-    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../../images/favicon.ico">
+
+    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../../javascript/prettyprint.js"></script>
+    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../../images/favicon.ico">
-
-    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../../javascript/prettyprint.js"></script>
-    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../../images/favicon.ico">
+
+    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../../javascript/prettyprint.js"></script>
+    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../../images/favicon.ico">
-
-    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../../javascript/prettyprint.js"></script>
-    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../../images/favicon.ico">
+
+    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../../javascript/prettyprint.js"></script>
+    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../../images/favicon.ico">
-
-    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../../javascript/prettyprint.js"></script>
-    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../../images/favicon.ico">
+
+    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../../javascript/prettyprint.js"></script>
+    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../../images/favicon.ico">
-
-    <script src="./../../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../../javascript/prettyprint.js"></script>
-    <script src="./../../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./images/favicon.ico">
+
+    <script src="./javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./javascript/prettyprint.js"></script>
+    <script src="./bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./images/favicon.ico">
-
-    <script src="./javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./javascript/prettyprint.js"></script>
-    <script src="./bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./images/favicon.ico">
+
+    <script src="./javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./javascript/prettyprint.js"></script>
+    <script src="./bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./images/favicon.ico">
-
-    <script src="./javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./javascript/prettyprint.js"></script>
-    <script src="./bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

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 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>

Modified: websites/staging/isis/trunk/content/how-tos/how-to-01-130-How-to-specify-the-size-of-String-action-parameters.html
==============================================================================
--- websites/staging/isis/trunk/content/how-tos/how-to-01-130-How-to-specify-the-size-of-String-action-parameters.html (original)
+++ websites/staging/isis/trunk/content/how-tos/how-to-01-130-How-to-specify-the-size-of-String-action-parameters.html Wed Feb 19 14:49:00 2014
@@ -201,6 +201,31 @@
                   'width=800,height=526');
       };
     </script>
+
+    <!-- Le fav and touch icons -->
+    <link rel="shortcut icon" href="./../images/favicon.ico">
+
+    <script src="./../javascript/prettify.js" type="text/javascript"></script>
+    
+    <script src="//code.jquery.com/jquery.js"></script>
+    <script src="./../javascript/prettyprint.js"></script>
+    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
+
+
+    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
+    <!--
+    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
+    -->
+
+    
+    
+    
+
+    <script>
+    $(function () { prettyPrint() })
+    $().dropdown()
+    </script>
+
     <script type="text/javascript">
     
     // http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors
@@ -242,30 +267,7 @@
     $("body").on("click", "a", scroll_if_anchor);
     </script>
 
-    <!-- Le fav and touch icons -->
-    <link rel="shortcut icon" href="./../images/favicon.ico">
-
-    <script src="./../javascript/prettify.js" type="text/javascript"></script>
-    
-    <script src="//code.jquery.com/jquery.js"></script>
-    <script src="./../javascript/prettyprint.js"></script>
-    <script src="./../bootstrap-3.0.0/js/bootstrap.js"></script>
-
-
-    <script src="http://platform.twitter.com/widgets.js" type="text/javascript"></script>
-    <!--
-    <DISABLEDscript src="./../javascript/common.js"></DISABLEDscript>
-    -->
-
-    
-    
     
-
-    <script>
-    $(function () { prettyPrint() })
-    $().dropdown()
-    </script>
-
   </head>
 
   <body>