css changes
Pushing IDSMAIN again
Merge branch 'master' of https://github.com/PeterPaulPeterPaul/ids.git
into tst2

Conflicts:
	src/main/webapp/pages/idsmain.jsp
vv
Merge branch 'master' of https://github.com/PeterPaulPeterPaul/ids.git into tst2
[jh] OTHER performance

Conflicts:
	src/main/webapp/pages/idsmain.jsp
login css
login css
Merge branch 'master' of https://github.com/PeterPaulPeterPaul/ids.git into tst2
line headers up with header boxes and box around the heading selectors,
change width of heading selectors