ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-12-06 17:27:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update styles to incorporate "Space Grotesk" font in the top banner and add new font stylesheet link in redocly.yaml

Browse Source
This commit is contained in:
akcodez
2025-04-03 14:04:44 -07:00
parent cde4071ad1
commit f1066437fa
3 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
redocly.yaml
View File

@@ -54,6 +54,8 @@ links:
rel: stylesheet rel: stylesheet
- href: https://fonts.googleapis.com/css?family=Source+Code+Pro:300,400,600,700&display=swap - href: https://fonts.googleapis.com/css?family=Source+Code+Pro:300,400,600,700&display=swap
rel: stylesheet rel: stylesheet
- href: https://fonts.googleapis.com/css?family=Space+Grotesk:300,400,600,700&display=swap
rel: stylesheet
- href: ./static/css/devportal2024-v1.css - href: ./static/css/devportal2024-v1.css
rel: stylesheet rel: stylesheet
- href: ./static/css/font-awesome.min.css - href: ./static/css/font-awesome.min.css

2
static/css/devportal2024-v1.css
View File

File diff suppressed because one or more lines are too long

4
styles/_top-banner.scss
View File

@@ -5,7 +5,7 @@
height: $banner-height; height: $banner-height;
background: #32E685 !important; background: #32E685 !important;
padding: 7px 35px; padding: 7px 35px;
font-family: "Work Sans"; font-family: "Space Grotesk";
z-index: 9999; z-index: 9999;
cursor: pointer; cursor: pointer;
@@ -19,7 +19,7 @@
} }
color: $black !important; color: $black !important;
text-align: center; text-align: center;
font-family: "Work Sans"; font-family: "Space Grotesk";
font-size: 26px; // Further scaled down from 28px font-size: 26px; // Further scaled down from 28px
font-style: normal; font-style: normal;
font-weight: 600; font-weight: 600;