Fixed rascal highlighting on website