* added more selectors to allow different markup
* added border to make tabs more distinctive, especially in other templates

#2541, alter section highlighting to insert a container into the DOM to hold the elements being highlighted & later remove it

note: we recommend to NOT use H1 elements in the sidebar for semantic
reasons

Replaced it by the old tpl_include_page() and made it more flexible by adding a boolean $propagate parameter.
(It's false by default for backwards compatibility reasons. Should it rather be true? That would probably be what most users want.)

This reverts commit ea62d531.

... because it made the solution less transparent, more error prone and even more like a hack than it already was

This reverts commit 20391a36.

This prevents buffering of the cache file output.

This fixes several problems:
- the CSS cache was only updated when either the CSS files for all media
  types or one of the global files was modified
- when only the screen CSS was changed, the screen CSS was regenerated
  but then the cache was printed which either caused duplicated screen
  CSS output when gzip output was disabled or invalid output with gzip
  enabled as first the plain text screen CSS and then the
  gzip-compressed cache file was printed

Now first all CSS files are collected, then the cache is checked once
and only after this the CSS content is collected.

This simplifies a while loop in the js_compress() code. The
functionality of the new code is completely identical to the old code
but it uses less comparisons and according to FS#2593 it is thus a lot
faster.