# HG changeset patch
# User Mike Miller <address@hidden>
# Date 1467140508 25200
#      Tue Jun 28 12:01:48 2016 -0700
# Node ID df55e13006e320f93c3b6bfd1fc8d0e58b54325f
# Parent  f31f30a9348f218de25e0c71c85b9f9e507df1dd
doc: Add more font local names to avoid downloading external fonts

* octave.css: Add Bold, Bold Italic, Italic, and Regular font properties to
allow local fonts to be found.

diff --git a/doc/interpreter/octave.css b/doc/interpreter/octave.css
--- a/doc/interpreter/octave.css
+++ b/doc/interpreter/octave.css
@@ -19,30 +19,30 @@ along with Octave; see the file COPYING.
 */
 
 /* Import web font Roboto Condensed, Font Library Version 2015-06-06 */
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Bold'), local('Roboto Condensed'),
 	url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/4b8b4b377e8cb358cf886d13c7bb287c/RobotoCondensedBold.ttf') format('truetype');
 	font-weight: bold; font-style: normal; }
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Bold Italic'), local('Roboto Condensed'),
 	url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/9b1d05d1b332e5b95ad86e71ca8404fb/RobotoCondensedBoldItalic.ttf') format('truetype');
     	font-weight: bold; font-style: italic; }
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Italic'), local('Roboto Condensed'),
 	url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/d02fffb6890e4f28023dd149916d1b8a/RobotoCondensedItalic.ttf') format('truetype');
 	font-weight: normal; font-style: italic; }
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
address@hidden { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Regular'), local('Roboto Condensed'),
 	url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/b0b1845ecce8ab6a503971e808a8409c/RobotoCondensedRegular.ttf') format('truetype');
 	font-weight: normal; font-style: normal; }
 
 /* Import web font Fantasque Sans Mono, Font Library Version 2016-04-05 */
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Bold'), local('Fantasque Sans Mono'),
 	url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/a46033d3a07d9385620dc83b7655203f/FantasqueSansMonoBold.ttf') format('truetype');
 	font-weight: bold; font-style: normal; }
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Bold Italic'), local('Fantasque Sans Mono'),
 	url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/b0683ef4c834908aa372ec78dea42349/FantasqueSansMonoBoldItalic.ttf') format('truetype');
 	font-weight: bold; font-style: italic; }
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Italic'), local('Fantasque Sans Mono'),
 	url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/b78d0a48e4443f797e8d45dcf97594f7/FantasqueSansMonoItalic.ttf') format('truetype');
 	font-weight: normal; font-style: italic; }
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
address@hidden { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Regular'), local('Fantasque Sans Mono'),
 	url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/f3fdc4f0f26e4431f54e8b552d55480c/FantasqueSansMonoRegular.ttf') format('truetype');
 	font-weight: normal; font-style: normal; }