lpaulsen93 One additional remark: Of course style names MUST be unique. So it would make sense to add a plugin name as a prefix or something. But you could have duplicate style-display-names. That would be confusing for the user but would not break anything.
schplurtz That's a lot to process. I'm going to pull your commit and try the phpdoc. I did not notice the github wiki, going to read that too. I almost never check wiki on github and my first reflex was of course dokuwiki.org ;-) Thanks for the details about the styles.
lpaulsen93 A little update: I installed the current phpdoc master via composer. Now it also works with PHP7.
schplurtz Well, no more luck with composer. the phar version worked. At least it did not crash, but there were still tons of PHP warning. The resulting doc is hard to read and navigate...
lpaulsen93 @schplurtz: Are you happy with the changes in your branch? If yes I can merge them soon and create a new release.
schplurtz Yes, @LarsDW223. the changes are more than sufficient to do what I wanted. I can create a named style for the background and the border. And the autoloading of CSS adds color to the preformatted text. perfect ! I'll publish my work as soon as possible. I'm currently having difficulties writting the documentation; or maybe is it summer lazyness...