Link to Diffusion for Ubuntu/Red Hat install scripts

Summary: Fixes T8751, Swaps out links to Diffusion. Also upped font size on Document monospace.

Test Plan: Rebuild Diviner docs, click on new links.

Reviewers: btrahan, epriestley

Reviewed By: epriestley

Subscribers: epriestley, Korvin

Maniphest Tasks: T8751

Differential Revision: https://secure.phabricator.com/D13566

resources/celerity/map.php

@@ -129,7 +129,7 @@ return array(
     'rsrc/css/phui/phui-box.css' => 'a5bb366d',
     'rsrc/css/phui/phui-button.css' => 'cf529a01',
     'rsrc/css/phui/phui-crumbs-view.css' => 'd842f867',
-    'rsrc/css/phui/phui-document.css' => '3eb3b3e3',
+    'rsrc/css/phui/phui-document.css' => '0267054b',
     'rsrc/css/phui/phui-feed-story.css' => 'c7d8113a',
     'rsrc/css/phui/phui-fontkit.css' => 'cb8ae7ad',
     'rsrc/css/phui/phui-form-view.css' => '621b21c5',
@@ -781,7 +781,7 @@ return array(
     'phui-calendar-list-css' => 'c1c7f338',
     'phui-calendar-month-css' => '476be7e0',
     'phui-crumbs-view-css' => 'd842f867',
-    'phui-document-view-css' => '3eb3b3e3',
+    'phui-document-view-css' => '0267054b',
     'phui-feed-story-css' => 'c7d8113a',
     'phui-font-icon-base-css' => '3dad2ae3',
     'phui-fontkit-css' => 'cb8ae7ad',

src/docs/user/installation_guide.diviner

@@ -106,8 +106,11 @@ scripts available which should handle most of the things discussed in this
 document for you:
 
   - **RedHat Derivatives**:
-    <http://www.phabricator.com/rsrc/install/install_rhel-derivs.sh>
-  - **Ubuntu**: <http://www.phabricator.com/rsrc/install/install_ubuntu.sh>
+    [[ https://secure.phabricator.com/diffusion/P/browse/master/scripts/install/install_rhel-derivs.sh
+     | install_rhel-derivs.sh ]]
+  - **Ubuntu**:
+    [[ https://secure.phabricator.com/diffusion/P/browse/master/scripts/install/install_ubuntu.sh
+     | install_ubuntu.sh ]]
 
 If those work for you, you can skip directly to the
 @{article:Configuration Guide}. These scripts are also available in the

webroot/rsrc/css/phui/phui-document.css

@@ -178,3 +178,14 @@ body .phui-document-view .phui-header-shell.phui-bleed-header {
 .phui-document-view .phui-property-list-text-content {
   padding: 0;
 }
+
+.phui-document-view .PhabricatorMonospaced,
+.phui-document-view .phabricator-remarkup .remarkup-code-block .remarkup-code {
+  font: 11px/14px "Menlo", "Consolas", "Monaco", monospace;
+}
+
+.platform-windows .phui-document-view .PhabricatorMonospaced,
+.platform-windows .phui-document-view .phabricator-remarkup .remarkup-code-block
+  .remarkup-code {
+  font: 12px/14px "Menlo", "Consolas", "Monaco", monospace;
+}