Adjusted CSS styling
Modified UID allocation logic

UIDdiff was throwing away nodes with identical children. I fixed that
behaviour so that it still returns a correct (if inefficient) diff in
that case.