ß
- At the moment the handling of XML tags (ie, '') is a bit shaky. Maybe a more radical change that turns all '<', resp. '>' signs into a special tag (e.g.,
<r;, resp.$gt;) at the start of processing is a better option (currently it is artificially put into a pair of backquotes, but this should be fenced against the user already doing that...)
- If and when the github markdown is really implemented on github (at present it is not), it should be possible to add
<style>elements to a file, thereby being able to color certain parts (using<div>, for example). At that point, it is worth changing the display of resolutions and actions to color them to, say, red and green, and make them bold (instead of using the blockquote as of now). (Note that this is unnecessary if kramdown is used for jekyll; there is a possibility to add classes directly.)