Remark42 for comments with automatically changing themes.

With this bits of javascript, Remark42 switches the themes automatically. Maybe it will help others too.