forgot the prooftree CSS