language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge pull request #4539 from georgesboris/main

Browse source 
Use roc-lang/design-assets for website fonts
This commit is contained in:
Anton-4 2022-11-18 20:59:36 +01:00 • committed by GitHub
commit 3cd57e078e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 25 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

20
www/build.sh
View file

@ -13,20 +13,14 @@ rm -rf build/
cp -r public/ build/
# download fonts just-in-time so we don't have to bloat the repo with them.
mkdir build/fonts
pushd build/fonts
DESIGN_ASSETS_COMMIT="4d949642ebc56ca455cf270b288382788bce5873"
DESIGN_ASSETS_TARFILE="roc-lang-design-assets-4d94964.tar.gz"
DESIGN_ASSETS_DIR="roc-lang-design-assets-4d94964"
wget -O PermanentMarker.woff2 https://fonts.gstatic.com/s/permanentmarker/v16/Fh4uPib9Iyv2ucM6pGQMWimMp004La2Cf5b6jlg.woff2
wget -O MerriweatherExt.woff2 https://fonts.gstatic.com/s/merriweather/v30/u-440qyriQwlOrhSvowK_l5-ciZMdeX3rsHo.woff2
wget -O Merriweather.woff2 https://fonts.gstatic.com/s/merriweather/v30/u-440qyriQwlOrhSvowK_l5-fCZMdeX3rg.woff2
wget -O MerriweatherSansExt.woff https://fonts.gstatic.com/s/merriweathersans/v22/2-cO9IRs1JiJN1FRAMjTN5zd9vgsFF_5asQTb6hZ2JKZou4Vh-sBzRRXnKOrnx4.woff
wget -O MerriweatherSans.woff https://fonts.gstatic.com/s/merriweathersans/v22/2-cO9IRs1JiJN1FRAMjTN5zd9vgsFF_5asQTb6hZ2JKZou4ViesBzRRXnKOr.woff
wget -O LatoExt.woff2 https://fonts.gstatic.com/s/lato/v23/S6uyw4BMUTPHjxAwXiWtFCfQ7A.woff2
wget -O Lato.woff2 https://fonts.gstatic.com/s/lato/v23/S6uyw4BMUTPHjx4wXiWtFCc.woff2
wget -O SourceCodeProExt.woff https://fonts.gstatic.com/s/sourcecodepro/v22/HI_diYsKILxRpg3hIP6sJ7fM7PqPMcMnZFqUwX28DMyQtMdrSlcZZJmOpwVS.woff
wget -O SourceCodePro.woff https://fonts.gstatic.com/s/sourcecodepro/v22/HI_diYsKILxRpg3hIP6sJ7fM7PqPMcMnZFqUwX28DMyQtMlrSlcZZJmOpw.woff
popd
wget -O $DESIGN_ASSETS_TARFILE https://github.com/roc-lang/design-assets/tarball/$DESIGN_ASSETS_COMMIT
tar -xzf $DESIGN_ASSETS_TARFILE
mv $DESIGN_ASSETS_DIR/fonts build/
rm -rf $DESIGN_ASSETS_TARFILE $DESIGN_ASSETS_DIR
# grab the source code and copy it to Netlify's server; if it's not there, fail the build.
pushd build

27
www/public/site.css
View file

@ -367,7 +367,8 @@ h4 {
font-family: 'Permanent Marker';
font-style: normal;
font-weight: 400;
src: url("fonts/PermanentMarker.woff2") format('woff2');
src: url('../fonts/permanent-marker-v16-latin/permanent-marker-v16-latin-regular.woff2') format('woff2'),
url('../fonts/permanent-marker-v16-latin/permanent-marker-v16-latin-regular.woff') format('woff'),
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;
}
@ -376,7 +377,8 @@ h4 {
font-family: 'Merriweather';
font-style: normal;
font-weight: 400;
src: url("fonts/MerriweatherExt.woff2") format('woff2');
src: url('../fonts/merriweather-v30-latin-ext_latin/merriweather-v30-latin-ext_latin-regular.woff2') format('woff2'),
url('../fonts/merriweather-v30-latin-ext_latin/merriweather-v30-latin-ext_latin-regular.woff') format('woff'),
unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@ -385,7 +387,8 @@ h4 {
font-family: 'Merriweather';
font-style: normal;
font-weight: 400;
src: url("fonts/Merriweather.woff2") format('woff2');
src: url('../fonts/merriweather-v30-latin/merriweather-v30-latin-regular.woff2') format('woff2'),
url('../fonts/merriweather-v30-latin/merriweather-v30-latin-regular.woff') format('woff'),
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;
}
@ -394,7 +397,8 @@ h4 {
font-family: 'Merriweather Sans';
font-style: normal;
font-weight: 400;
src: url("fonts/MerriweatherSansExt.woff") format('woff');
src: url('../fonts/merriweather-sans-v22-latin-ext_latin/merriweather-sans-v22-latin-ext_latin-regular.woff2') format('woff2'),
url('../fonts/merriweather-sans-v22-latin-ext_latin/merriweather-sans-v22-latin-ext_latin-regular.woff') format('woff'),
unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@ -402,7 +406,8 @@ h4 {
font-family: 'Merriweather Sans';
font-style: normal;
font-weight: 400;
src: url("fonts/MerriweatherSans.woff") format('woff');
src: url('../fonts/merriweather-sans-v22-latin/merriweather-sans-v22-latin-regular.woff2') format('woff2'),
url('../fonts/merriweather-sans-v22-latin/merriweather-sans-v22-latin-regular.woff') format('woff'),
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;
}
@ -411,7 +416,8 @@ h4 {
font-family: 'Lato';
font-style: normal;
font-weight: 400;
src: src("fonts/LatoExt.woff2") format("woff2");
src: url('../fonts/lato-v23-latin-ext_latin/lato-v23-latin-ext_latin-regular.woff2') format('woff2'),
url('../fonts/lato-v23-latin-ext_latin/lato-v23-latin-ext_latin-regular.woff') format('woff'),
unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@ -419,7 +425,8 @@ h4 {
font-family: 'Lato';
font-style: normal;
font-weight: 400;
src: url("fonts/Lato.woff2") format('woff2');
src: url('../fonts/lato-v23-latin/lato-v23-latin-regular.woff2') format('woff2'),
url('../fonts/lato-v23-latin/lato-v23-latin-regular.woff') format('woff'),
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;
}
@ -428,7 +435,8 @@ h4 {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 400;
src: url("fonts/SourceCodeProExt.woff") format('woff');
src: url('../fonts/source-code-pro-v22-latin-ext_latin/source-code-pro-v22-latin-ext_latin-regular.woff2') format('woff2'),
url('../fonts/source-code-pro-v22-latin-ext_latin/source-code-pro-v22-latin-ext_latin-regular.woff') format('woff'),
unicode-range: U+0100-024F, U+0259, U+1E00-1EFF, U+2020, U+20A0-20AB, U+20AD-20CF, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@ -436,7 +444,8 @@ h4 {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 400;
src: url("fonts/SourceCodePro.woff") format('woff');
src: url('../fonts/source-code-pro-v22-latin/source-code-pro-v22-latin-regular.woff2') format('woff2'),
url('../fonts/source-code-pro-v22-latin/source-code-pro-v22-latin-regular.woff') format('woff'),
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;
}