ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-12-02 01:25:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use Roboto Mono for code font

Browse Source
This commit is contained in:
mDuo13
2018-05-02 15:05:49 -07:00
parent 08906effec
commit 795bd8346b
4 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
assets/css/devportal.css
View File

@@ -4,6 +4,11 @@ body {
font-family: Roboto, sans-serif;
}
code,
pre {
font-family: "Roboto Mono", monospace;
}
td {
border: 1px solid #dbdde2;
padding: 0.2em;

BIN
assets/font/Roboto-Mono.woff2 Normal file
View File

Binary file not shown.

10
assets/vendor/bootstrap.css vendored
View File

@@ -19,6 +19,13 @@
src: url("../font/Roboto-Bold.woff2") format("woff2");
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face {
font-family: 'Roboto Mono';
font-style: normal;
font-weight: 400;
src: url("../font/Roboto-Mono.woff2") format("woff2");
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
/*!
* Bootstrap v4.1.0 (https://getbootstrap.com/)
* Copyright 2011-2018 The Bootstrap Authors
@@ -6289,4 +6296,5 @@ a.text-dark:hover, a.text-dark:focus {
border: 1px solid #dee2e6 !important; } }
:root {
--font-family-sans-serif: 'Roboto', sans-serif; }
--font-family-sans-serif: 'Roboto', sans-serif;
--font-family-monospace: 'Roboto Mono', monospace; }

8
tool/ripple.scss
View File

@@ -29,6 +29,13 @@ $navbar-nav-link-padding-x: 1rem;
src: url("../font/Roboto-Bold.woff2") format('woff2');
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
font-family: 'Roboto Mono';
font-style: normal;
font-weight: 400;
src: url("../font/Roboto-Mono.woff2") format('woff2');
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
// Bootstrap v4
@@ -37,4 +44,5 @@ $navbar-nav-link-padding-x: 1rem;
// CSS overrides
:root {
--font-family-sans-serif: 'Roboto', sans-serif;
--font-family-monospace: 'Roboto Mono', monospace;
}