Allow captions to contain HTML (#9426)

Change-Id: I4a0e580aef1a97ce69238ea0d476599883928d84
Stops non-scrolling scrollbars from interfering with pointing events

Some minor scrollbar-related maintenance was also done on the side.

Change-Id: I37d728465e498f586596e1eff14d73d6335e6770
Add -moz prefixed border boxes and box shadows to base theme (#13334)

Change-Id: I22fafc7c0a6221ba5ff596494623fe798c9dad94
Change "editor row" to "editor" in style names (#13334)

Change-Id: I690c8c17c673ec2d77870cf305dee1ac1b9bc3be
Heights are now double precision floats (#13334)

Change-Id: Id9e1dd4b4a480dd512f3dd78fde2f9a0256087e9
Update broken TB2 test to valid TB3 test (#14755)

Change-Id: Idc26ac1fee3edd36646b7a6bd84424d0caa37e63
Merge remote-tracking branch 'origin/master' into grid

Change-Id: Ic7629f9cedb3c948edf4f63c678ca499e3d52805
Allow reading and writing empty designs (#7749).

Change-Id: Id66201d040d07f0e0d731418624c9b702b2d0d3b
Merge remote-tracking branch 'origin/grid' into 7.4

Conflicts:
	server/src/com/vaadin/data/util/AbstractInMemoryContainer.java

Change-Id: Ic7ed64fa870c435f6cad3e6e436a3b8d6457de41
Merge remote-tracking branch 'origin/master' into 7.4