Merge pull request #5160 from roc-lang/style-update

some style changes
This commit is contained in:
Anton-4 2023-03-20 10:23:27 +01:00 committed by GitHub
commit 28a8637927
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 28 additions and 44 deletions

View File

@ -23,7 +23,6 @@
background-color: #000;
padding: 1px 4px;
font-size: 16px;
border-radius: 6px;
}
input,
button {

View File

@ -74,13 +74,11 @@ table tr td {
font-size: 18px;
font-weight: normal;
color: var(--violet);
background-color: var(--code-bg);
width: auto;
margin-top: 0;
margin-bottom: 24px;
padding: 8px 16px;
border-radius: 8px 8px 0px 0px;
border-bottom: 1px solid var(--border-color);
border-left: 2px solid var(--violet);
}
.entry-name a {
@ -172,10 +170,8 @@ main {
}
section {
border: 2px solid var(--border-color);
border-radius: 8px;
padding: 0px 0px 16px 0px;
margin: 72px 16px;
margin: 72px 0px;
}
section > *:last-child {
@ -354,7 +350,6 @@ h4 {
padding: 8px 16px;
display: block;
box-sizing: border-box;
border-radius: 8px;
font-family: var(--font-mono);
background-color: var(--code-bg);
}
@ -368,7 +363,6 @@ code {
p code {
padding: 0 8px;
border-radius: 4px;
}
code a,
@ -471,7 +465,6 @@ pre>samp {
border: 1px solid #666;
padding: 1px 3px 3px;
font-style: normal;
border-radius: 4px;
line-height: 15px;
}
@ -674,7 +667,6 @@ code .dim {
background: var(--code-bg);
border: 1px solid var(--magenta);
color: var(--magenta);
border-radius: 3px;
display: inline-block;
cursor: pointer;
margin: 8px;

View File

@ -58,46 +58,43 @@ find www/build/builtins -type f -name 'index.html' -exec sed -i 's!</nav>!<div c
# cleanup files that could have stayed behind if the script failed
rm -rf roc_nightly roc_releases.json
echo 'Fetching latest roc nightly...'
# to prevent GitHub from rate limiting netlify servers
if ! [ -v GITHUB_TOKEN_READ_ONLY ]; then
curl https://api.github.com/repos/roc-lang/roc/releases > roc_releases.json
echo 'Building tutorial.html from tutorial.md...'
mkdir www/build/tutorial
cargo run --release --bin roc run www/generate_tutorial/src/tutorial.roc -- www/generate_tutorial/src/input/ www/build/tutorial/
else
echo 'Fetching latest roc nightly...'
# we assume that we're on a netlify server if GITHUB_TOKEN_READ_ONLY is set
curl --request GET \
--url https://api.github.com/repos/roc-lang/roc/releases \
-u $GITHUB_TOKEN_READ_ONLY \
--output roc_releases.json
fi
# get the url of the latest release
if [ "$(uname)" == "Linux" ]; then
RELEASE_MACHINE="linux_x86_64"
elif [ "$(uname)" == "Darwin" ] && [ "$(uname -m)" == "arm64" ]; then
RELEASE_MACHINE="macos_apple_silicon"
elif [ "$(uname)" == "Darwin" ] && [ "$(uname -m)" == "x86_64" ]; then
RELEASE_MACHINE="macos_x86_64"
else
RELEASE_MACHINE="UNSUPPORTED_MACHINE"
export ROC_RELEASE_URL=$(./ci/get_latest_release_url.sh $RELEASE_MACHINE)
# get roc release archive
curl -OL $ROC_RELEASE_URL
# extract archive
ls | grep "roc_nightly" | xargs tar -xzvf
# delete archive
ls | grep "roc_nightly.*tar.gz" | xargs rm
# simplify dir name
mv roc_nightly* roc_nightly
echo 'Building tutorial.html from tutorial.md...'
mkdir www/build/tutorial
./roc_nightly/roc version
./roc_nightly/roc run www/generate_tutorial/src/tutorial.roc -- www/generate_tutorial/src/input/ www/build/tutorial/
# cleanup
rm -rf roc_nightly roc_releases.json
fi
export ROC_RELEASE_URL=$(./ci/get_latest_release_url.sh $RELEASE_MACHINE)
# get roc release archive
curl -OL $ROC_RELEASE_URL
# extract archive
ls | grep "roc_nightly" | xargs tar -xzvf
# delete archive
ls | grep "roc_nightly.*tar.gz" | xargs rm
# simplify dir name
mv roc_nightly* roc_nightly
echo 'Building tutorial.html from tutorial.md...'
mkdir www/build/tutorial
./roc_nightly/roc version
./roc_nightly/roc run www/generate_tutorial/src/tutorial.roc -- www/generate_tutorial/src/input/ www/build/tutorial/
mv www/build/tutorial/tutorial.html www/build/tutorial/index.html
# cleanup
rm -rf roc_nightly roc_releases.json
popd

View File

@ -128,7 +128,6 @@ li code,
th code,
samp {
padding: 0 8px;
border-radius: 4px;
}
code a,
@ -149,7 +148,6 @@ pre {
margin-bottom: 16px;
padding: 8px 16px;
box-sizing: border-box;
border-radius: 8px;
background-color: var(--code-bg);
overflow-x: hidden;
word-wrap: normal;
@ -238,7 +236,6 @@ td:last-child {
#tutorial-toc {
margin-top: 18px;
background: var(--code-bg);
border-radius: 8px;
padding: 12px 24px;
margin-left: 64px;
}
@ -692,7 +689,6 @@ code .dim {
background: var(--code-bg);
border: 1px solid var(--magenta);
color: var(--magenta);
border-radius: 3px;
display: inline-block;
cursor: pointer;
margin: 8px;