adjustmenst to the style of isis.tu-berlin.de
- decreases padding of elements
- changes color of video element to yellow
importable in Addon Stylus: https://add0n.com/stylus.html (Available for Firefox, Opera, Chrome)
Feel very welcome to improve the style of isis