ide: The start of some documentation for Maximus.
docview: improved the looks of the topic title panel

Later I will probably make this configurable too.