Code highlight blocks have the form
<div class="higlight"><pre><code>...
(wrapped in another div that specifies the language). The copy-button
insertion relies on the presence of the <div>. The previous CSS selector
was too loose for that, it allowed the <pre> to be a direct descendant
of any <div> at any position, so it could be
<div> <p>..</p> etc <pre><code>
which does happen when the syntax highlighter does not recognise the
language that is passed in from the code block (```lang).
This means only code blocks with recognised language will have a copy
button.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
As #221 points out, copy/pasting the previous instructions linearly
without closely reading the text will lead to an error state (wrong
directory). Reorganise the code blocks so that they can be copy/pasted
and run step by step without running into errors. This also makes the
initial example more concrete.
Fixes#221
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Factor out the common text into an include, but provide two separate
hardware info pages so that the sel4test instructions and other data can
be specific.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
<pre>, which might be the content of "display_text" can't be a child of
<span>. Use <div> instead.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Git doesn't recognise the microkit_flow.pdf pictures as a binary file.
Add an explicit declaration for it in .gitattributes.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This only works for code blocks with a declared language, because those
are wrapped in a <div> and we need that diff to anchor the button.
Putting the button into <pre> would work theoretically, but triggers a
bug in Safari when he <pre> block is too wide (scrolling) and innerHTML
of the button is being set (button text disappears).
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Point links to local manual for target reference check where possible.
This might break links when sections are removed in the manual in the
future, but we want to introduce support for hosting multiple manual
versions anyway.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
No longer ignore non-4xx status code. This will occasionally include
timeouts that are temporary, but it catches cases where the entire
domain has disappeared (like tk1som.com).
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This was not caught by the link checker, because it redirects to the
internet archive, which then doesn't find content.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- Refactor component_list into the two main use case: config_list and
compopnent_list. Roadmap items and other types are no longer used with
component_list.
- Make the lists responsive so that they display as table on large
screens and div lists on small screens. Use colour for status value on
small screens to distinguish for description.
- Adjust dark mode values of text-lighter to be more readable.
- Make sure config names displayed as code do not get line wrapped.
Remove prose style for that part, because it wants to display <pre> as
a large code block.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
The link was broken and also pointed to the wrong file. The packages are
listed in the camkes.sh script instead.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Reverts commit ec86e464ca72e7081400a85666de2a5914626f8a because mdbook
is now vendored in the Makefile install to avoid conflict with any
global version.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Gerwin Klein