[hibernate-commits] [hibernate/hibernate-orm] 831d4c: tune the documentation CSS