Contributing to the documentation
This documentation project uses Writerside. If you want to edit it, you can click the Edit page button.
Then, you will be taken to GitHub where you can edit the page. Once you are done, click Commit Changes and create a pull request.
The Writerside documentation can be found at Writerside | JetBrains Marketplace.
Writerside syntax overview
Writerside syntax is based on Markdown, but with some extra features.
Display keyboard shortcuts:
<shortcut>Ctrl + \\</shortcut>
results in Ctrl + \
Display menu selections:
<ui-path>File | New | LaTeX File</ui-path>
results in
Reference elements like headings on the same page:
[Refer to](#my-heading)
## My Heading
Reference other pages:
[Other page](Contributing-to-the-source-code.md)
To include images/gifs, put them in the
imagesdirectory, possibly in a subdirectory, and use
Last modified: 09 February 2025