Saya menggunakan TiddlyWiki versi 5.1.13. Saya telah menambahkan plugin highlight (versi 5.1.13) yang menggunakan highlight.js (versi 8.8.0).
Di tiddler saya berhasil menyorot XML seperti ini:
```xml
<html>
<body>
</body>
</html>
```
Bagaimana cara mengubah gaya/tema highlight ke salah satu gaya highlight.js yang berbeda? (Gaya highlight.js)