better css for matrices, etc.