roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-10 10:02:38 +03:00
Code Issues Packages Projects Releases Wiki Activity

Don't use a style attribute for the builtins tip

Browse Source 
This doesn't work because of our content-security policy!
This commit is contained in:
Richard Feldman 2022-11-11 12:24:19 -05:00
parent 9457b87923
commit e2891257ba
No known key found for this signature in database
GPG Key ID: F1F21AA5B1D9E43B
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/docs/src/static/styles.css
View File

@ -468,6 +468,12 @@ pre {
line-height: 15px;
}
.builtins-tip {
padding: 1em;
font-style: italic;
line-height: 1.3em;
}
@media (prefers-color-scheme: dark) {
:root {
--body-bg-color: var(--purple-8);

2
www/build.sh
View File

@ -40,7 +40,7 @@ mv generated-docs/*.* www/build # move all the .js, .css, etc. files to build/
mv generated-docs/ www/build/builtins # move all the folders to build/builtins/
# Manually add this tip to all the builtin docs.
find www/build/builtins -type f -name 'index.html' -exec sed -i 's!</nav>!<div style="padding: 1em;font-style: italic;line-height: 1.3em;"><strong>Tip:</strong> <a href="/different-names">Some names</a> differ from other languages.</div></nav>!' {} \;
find www/build/builtins -type f -name 'index.html' -exec sed -i 's!</nav>!<div class="builtins-tip"><b>Tip:</b> <a href="/different-names">Some names</a> differ from other languages.</div></nav>!' {} \;
echo 'Generating CLI example platform docs...'
# Change ROC_DOCS_ROOT_DIR=builtins so that links will be generated relative to