tweak navigation/scrolling

jjallaire · jjallaire · commit 226cae85c059 · 2016-01-25T21:53:39.000-05:00
diff --git a/index.html b/index.html
@@ -98,7 +98,7 @@
         return text.replace(/[.\/?&!#<>]/g, '').replace(/\s/g, '_').toLowerCase();
       },
       ignoreSelector: "h1.title",
-      scrollTo: 20
+      scrollTo: 0
     };
     options.showAndHide = false;
     options.smoothScroll = true;
@@ -111,7 +111,7 @@
 <style type="text/css">
 
 #TOC {
-  margin: 30px 0px 20px 0px;
+  margin: 25px 0px 20px 0px;
 }
 @media (max-width: 768px) {
 #TOC {
diff --git a/packrat/packrat.lock b/packrat/packrat.lock
@@ -189,12 +189,12 @@ Requires: Rcpp, plyr, stringr
 Package: rmarkdown
 Source: github
 Version: 0.9.5
-Hash: 0ca42cb5542afabe8d8982e2cca458e6
+Hash: cb59ed72c50ca39320f949a32b969203
 Requires: caTools, htmltools, knitr, yaml
 GithubRepo: rmarkdown
 GithubUsername: rstudio
 GithubRef: master
-GithubSha1: e7a1e6b0321e986636b4422531e7fcd59271a047
+GithubSha1: ad4870c5ac14b8aeac0d86618899c6c2475f6517
 
 Package: rstudioapi
 Source: CRAN
diff --git a/packrat/packrat.opts b/packrat/packrat.opts
@@ -4,7 +4,7 @@ print.banner.on.startup: auto
 vcs.ignore.lib: TRUE
 vcs.ignore.src: FALSE
 external.packages: 
-local.repos: 
+local.repos: ~/packages
 load.external.packages.on.startup: TRUE
 ignored.packages: 
 quiet.package.installation: TRUE
diff --git a/packrat/src/rmarkdown/ad4870c5ac14b8aeac0d86618899c6c2475f6517.tar.gz b/packrat/src/rmarkdown/ad4870c5ac14b8aeac0d86618899c6c2475f6517.tar.gz
diff --git a/simd.html b/simd.html
@@ -98,7 +98,7 @@
         return text.replace(/[.\/?&!#<>]/g, '').replace(/\s/g, '_').toLowerCase();
       },
       ignoreSelector: "h1.title",
-      scrollTo: 20
+      scrollTo: 0
     };
     options.showAndHide = false;
     options.smoothScroll = true;
@@ -111,7 +111,7 @@
 <style type="text/css">
 
 #TOC {
-  margin: 30px 0px 20px 0px;
+  margin: 25px 0px 20px 0px;
 }
 @media (max-width: 768px) {
 #TOC {
diff --git a/tbb.html b/tbb.html
@@ -98,7 +98,7 @@
         return text.replace(/[.\/?&!#<>]/g, '').replace(/\s/g, '_').toLowerCase();
       },
       ignoreSelector: "h1.title",
-      scrollTo: 20
+      scrollTo: 0
     };
     options.showAndHide = false;
     options.smoothScroll = true;
@@ -111,7 +111,7 @@
 <style type="text/css">
 
 #TOC {
-  margin: 30px 0px 20px 0px;
+  margin: 25px 0px 20px 0px;
 }
 @media (max-width: 768px) {
 #TOC {
