(v1.7.1.9054) mdro() update - fixes #49, first_isolate() speedup

pkgdown/extra.css

@@ -104,10 +104,7 @@ a pre[href], a pre[href]:hover, a pre[href]:focus {
 
 /* syntax font */
 pre, code {
-  font-family: 'Courier New', monospace;
-  font-size: 100% !important;
-  font-weight: bold;
-  /*background-color: #f4f4f4*/;
+  font-size: 95% !important;
 }
 pre code {
   word-wrap: normal !important;

pkgdown/extra.js

@@ -95,10 +95,12 @@ $(document).ready(function() {
   function doct_tit(x) {
     if (typeof(x) != "undefined") {
       // authors
-      x = x.replace(/Author, maintainer/g, "Main developer");
-      x = x.replace(/Author, contributor/g, "Main contributor");
+      x = x.replace(/Author, maintainer/g, "Maintainer");
+      x = x.replace(/Author, contributor/g, "Maintainer");
       x = x.replace(/Author, thesis advisor/g, "Doctoral advisor");
+      x = x.replace(/Thesis advisor/g, "Doctoral advisor");
       x = x.replace("Matthijs", "Dr. Matthijs");
+      x = x.replace("Christian", "Dr. Christian");
       x = x.replace("Alex", "Prof. Alex");
       x = x.replace("Bhanu", "Prof. Bhanu");
       x = x.replace("Casper", "Prof. Casper");