employer
/
liza
1
0
Fork 0
Code Releases Activity

doc/liza.css: Change font 

This imports from Google, which is a privacy risk.  These should be
moved to be hosted locally; their download can be scripted.
master
Mike Gerwitz 2017-03-23 10:31:42 -04:00
parent f89c311d1d
commit bff17bdbb6
1 changed files with 8 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
doc/liza.css
View File

@ -19,39 +19,17 @@ along with Octave; see the file COPYING. If not, see
<http://www.gnu.org/licenses/>. <http://www.gnu.org/licenses/>.
*/ */
/* Import web font Roboto Condensed, Font Library Version 2015-06-06 */ /** modified by LoVullo Associates **/
@font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Bold'), local('RobotoCondensed-Bold'), /** TODO: loading fonts from Google is a privacy issue; download as part
url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/4b8b4b377e8cb358cf886d13c7bb287c/RobotoCondensedBold.ttf') format('truetype'); of build and self-host **/
font-weight: bold; font-style: normal; } @import url('https://fonts.googleapis.com/css?family=Noto+Sans');
@font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Bold Italic'), local('RobotoCondensed-BoldItalic'), @import url('https://fonts.googleapis.com/css?family=Roboto+Mono');
url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/9b1d05d1b332e5b95ad86e71ca8404fb/RobotoCondensedBoldItalic.ttf') format('truetype');
font-weight: bold; font-style: italic; }
@font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Italic'), local('RobotoCondensed-Italic'),
url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/d02fffb6890e4f28023dd149916d1b8a/RobotoCondensedItalic.ttf') format('truetype');
font-weight: normal; font-style: italic; }
@font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed Regular'), local('RobotoCondensed-Regular'),
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 */
@font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Bold'), local('FantasqueSansMono-Bold'),
url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/a46033d3a07d9385620dc83b7655203f/FantasqueSansMonoBold.ttf') format('truetype');
font-weight: bold; font-style: normal; }
@font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Bold Italic'), local('FantasqueSansMono-BoldItalic'),
url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/b0683ef4c834908aa372ec78dea42349/FantasqueSansMonoBoldItalic.ttf') format('truetype');
font-weight: bold; font-style: italic; }
@font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Italic'), local('FantasqueSansMono-Italic'),
url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/b78d0a48e4443f797e8d45dcf97594f7/FantasqueSansMonoItalic.ttf') format('truetype');
font-weight: normal; font-style: italic; }
@font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono Regular'), local('FantasqueSansMono-Regular'),
url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/f3fdc4f0f26e4431f54e8b552d55480c/FantasqueSansMonoRegular.ttf') format('truetype');
font-weight: normal; font-style: normal; }
/* Use custom fonts */ /* Use custom fonts */
code, kbd, samp, tt, pre { font-family: 'Fantasque Sans Mono', monospace; } code, kbd, samp, tt, pre { font-family: 'Roboto Mono', monospace; }
code, kbd, samp, tt { font-style: italic; padding: 0 0.1ex; /* slightly increase margin to surrounding text */ } code, kbd, samp, tt { font-style: italic; padding: 0 0.1ex; /* slightly increase margin to surrounding text */ }
body, .sansserif { font-family: 'Roboto Condensed', sans-serif; } body, .sansserif { font-family: 'Noto Sans', sans-serif; }
h1, h2, h3, h4, h5, .menu-comment, .roman, .menu-preformatted { font-family: 'Roboto Condensed', serif; } h1, h2, h3, h4, h5, .menu-comment, .roman, .menu-preformatted { font-family: 'Noto Sans', serif; }
/* /*
Use colors from the solarized color theme (sparsely), Use colors from the solarized color theme (sparsely),