some optimizing

- Made the site more usable by setting pagination to 25 companies
	-> less scrolling
	-> *way* faster refreshes (the same 75% as with the change of the
	pagination value [note to self: refresh time directly proportional to
	the number of companies on the page])
- moved styling rules from the html document to a separate stylesheet.css