language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 06:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge pull request #5537 from lukewilliamboswell/docs

Browse source 
Various updates for docs generation
This commit is contained in:
Anton-4 2023-06-14 17:10:09 +02:00 • committed by GitHub
commit ab3ef04ab7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 27 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

18
crates/docs/src/lib.rs
View file

@ -934,10 +934,10 @@ fn markdown_to_html(
for event in parser {
match event {
Event::Code(cow_str) => {
let highlighted_html =
roc_highlight::highlight_roc_code_inline(cow_str.to_string().as_str());
docs_parser.push(Event::Html(CowStr::from(highlighted_html)));
Event::Code(code_str) => {
let inline_code =
pulldown_cmark::CowStr::from(format!("<code>{}</code>", code_str));
docs_parser.push(pulldown_cmark::Event::Html(inline_code));
}
Event::End(Link(LinkType::ShortcutUnknown, ref _url, ref _title)) => {
// Replace the preceding Text node with a Code node, so it
@ -954,17 +954,17 @@ fn markdown_to_html(
docs_parser.push(event);
}
Event::Start(CodeBlock(CodeBlockKind::Fenced(cow_str))) => {
in_code_block = Some(cow_str);
Event::Start(CodeBlock(CodeBlockKind::Fenced(code_str))) => {
in_code_block = Some(code_str);
}
Event::End(CodeBlock(_)) => {
match in_code_block {
Some(cow_str) => {
if cow_str.contains("unchecked") {
Some(code_str) => {
if code_str.contains("unchecked") {
// TODO HANDLE UNCHECKED
}
if cow_str.contains("repl") {
if code_str.contains("repl") {
// TODO HANDLE REPL
}

18
crates/docs/src/static/styles.css
View file

@ -189,6 +189,24 @@ section {
margin: 72px 0px;
}
section blockquote {
font-style: italic;
position: relative;
margin-left: 0;
margin-right: 0;
}
section blockquote:before {
content: "";
position: absolute;
top: 0;
right: 0;
width: 2px;
height: 100%;
background-color: var(--gray);
}
section > *:last-child {
margin-bottom: 0;
}