Closed chris34 closed 9 years ago
Some smaller changes which came up spontaneously.
If the list-style is fixed, this pr can be merged
Some smaller changes which came up spontaneously.