Problem mit prettify.js

[MacFco]

@Papa Schlumpf,

wie ich gerade sehe, wird das Stylesheet...

http://www.keywelt-board.com/public/min/index.php?f=public/style_css/prettify.css

...weiterhin geladen/aufgerufen.

 

Ausserdem sieht diese, im Board verwendete, gegenüber dem Original etwas verkrüppelt aus, was auch

FF in der Fehler-Konsole mit "Fehler: prettyPrint is not defined" quittiert.