Improved documentation browser selection appearance and animation.
Fixed silly uninitialized-variable bug caught by the static analyzer.