< Home

Contributing

Creating pages
To add a new page, follow this simple process:
* Create a directory in p/ named like your page, for example foo
* Copy index.html from p/f_template/ to p/foo/index.html
* Write the page as you wish, see style guidelines
* Add it to the page index in search.js if you want it to be searchable.
The summary should briefly explain the content of the page


Style guidelines
* Do not use header tags, replace them with <br><b>bold tags with line breaks</b></br>
* Do not use plain images, convert them to ascii art with a tool like this, for example:


Page naming conventions
* Pages that start with f_ are meant for internal use and not linked to from regular pages
* Directory names are in snake_case but titles within the pages are capitalized