Editing This Guide¶
This guide uses MkDocs + Material for MkDocs ⧉. The markdown version is Python-Markdown. This page ⧉ contains the reference for the material theme. Install extra MkDocs plugins in build.gradle + mkdocs.yml.
If you are using IntelliJ for editing, it is recommended to install the plugin Grazie Professional ⧉ for spell-checking.
Editing¶
- The first header should be
#
. - Inserted images with Markdown, not HTML:
{width="600px"}
. Set the with to 600px or 300px, depending on how big or small the image is - footnotes syntax ⧉
- The
target=_blank
attribute and an icon for external links get automatically added to links.
The following symbols must be escaped:
- $ is
$
because it collides with inline Latex blocks.
Trees can be created with the terminal command tree
. It supports the -I
parameter for excluding folders.
Extensions¶
Besides the Material extensions, the project used the following Pymdown ⧉ extensions:
- pymdownx.betterem ⧉: different emphasis handling
- pymdownx.inlinehilite ⧉: inline code highlighting; example: #!js var test = 0;
- pymdownx.magiclink ⧉: linkafies URLs
- pymdownx.smartsymbols ⧉: inserts commonly used Unicode characters via ASCII representations.
- pymdownx.superfences ⧉: extension to Markdown fences
- pymdownx.details ⧉: collapsible elements
- pymdownx.highlight ⧉
- pymdownx.snippets ⧉: include other Markdown or HTML snippets into the current Markdown file
- pymdownx.keys ⧉: simplifies inserting key inputs; example: Ctrl+Alt+Del
- pymdownx.caret ⧉: superscript text via caret
- pymdownx.mark ⧉: enables marking words
- pymdownx.tilde ⧉: subscript text via tilde
- pymdownx.emoji: support for custom Emojis. Some example icons are in MPS Icons ⧉.
- pymdownx.tasklist ⧉: support for lists with checkboxes
- mk_in_html ⧉: support for Markdown in HTML
- pymdownx.magiclink ⧉: additional link-related features
- mdx-spanner ⧉: enables row and column spanning in Markdown tables
Macros¶
The plugin mkdocs-macros-plugin ⧉ is activated.
You can add variables to the extra section of mkdocs.yml (example: mps_latest
) and use the available macros:
- contribution_by(GitHub_username)
- question_by(GitHub_username)
- answer_by(GitHub_username)
- mps_url(identifier)
- image_popup()
- iets3()
- mbeddr()
- mbeddr_platform()
- mps_extensions()
- mps
Look through main.py to see how they are implemented.
The identifier can start with one of the following special identifiers:
The special identifiers get translated to the corresponding package names. Only the last part of the identifier has to be the correct name. The identifier can reference classes, interfaces, concepts, and interface declarations in Base Language, MPS Extensions ⧉, mbeddr, and iets3. The rest of the identifier only helps to find the correct node and doesn't have to be exact.
Example: @mps.ClassConcept
will find jetbrains.mps.baseLanguage.structure.ClassConcept
. When the wrong node is
selected, enter more parts of the full qualified name of the node.
Diagrams¶
Kroki enables support for diagrams (examples ⧉). It supports the following diagrams:
- BlockDiag ⧉
- BlockDiag ⧉ (simple block diagrams)
- SeqDiag ⧉ (simple sequence diagrams)
- ActDiag ⧉ (simple activity diagrams)
- NwDiag ⧉ (simple network diagrams)
- PacketDiag ⧉ (packet header diagrams)
- RackDiag ⧉ (rack diagrams)
- BPMN ⧉
- Bytefield ⧉
- C4 (with PlantUML) ⧉
- Ditaa ⧉
- Erd ⧉
- Excalidraw ⧉
- GraphViz ⧉
- Mermaid ⧉
- Nomnoml ⧉
- Pikchr ⧉
- PlantUML ⧉
- Structurizr ⧉
- SvgBob ⧉
- UMLet ⧉
- Vega ⧉
- Vega-Lite ⧉
- WaveDrom ⧉
They can be embedded by creating a code block and the text kroki-[diagramtype]
.
The following sections contain ideas for diagrams.
blockdiag¶ ⧉
Diagram 1¶
Diagram 2¶
SeqDiag¶ ⧉
ActDiag¶ ⧉
Graphviz¶ ⧉
Ditaa¶
mermaid.js¶ ⧉
nomnoml¶ ⧉
plantUML¶ ⧉
Diagram 1¶
Diagram 2¶
BPMN¶ ⧉
```
<?xml version="1.0" encoding="UTF-8"?>