Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  935adb38a607c397db72736a5664db5690b56405

ExtendedSearch: CSS more skin agnostic

Removed skin specific styling as far as possible

Change-Id: I9b36aa9f0442259329be2207a11927f4729cf372