// TUWEL
// version 0.5
// 2007-04-18
// Copyright (c) 2007, Johannes Buchner
// http://www.gnu.org/copyleft/gpl.html
//
// --------------------------------------------------------------------
//
// This is a Greasemonkey user script.  To install it, you need
// Greasemonkey 0.3 or later: http://greasemonkey.mozdev.org/
// Then restart Firefox and revisit this script.
// Under Tools, there will be a new menu item to "Install User Script".
// Accept the default configuration and install.
//
// To uninstall, go to Tools/Manage User Scripts,
// select "Ain't It Readable", and click Uninstall.
//
// --------------------------------------------------------------------
//
// ==UserScript==
// @name          TUWEL
// @namespace     http://
// @description   Make TUWEL read- and usable
// @include       https://tuwel.tuwien.ac.at/*
// ==/UserScript==

var css = "body{ font-size: xx-small !important; }";
css=css+"\n"+".teachers{ display: none; } ";
css=css+"\n"+"ul, li{ margin: 0; padding: 0; }";
css=css+"\n"+"br{ line-height: 0.5em; } ";
css=css+"\n"+"h1,h2,h3,b,p{ margin: 0;  padding: 0; }";
css=css+"\n"+".categorybox{ display: none; }";
css=css+"\n"+"h2{font-size: x-small  !important;}";
css=css+"\n"+"td#middle-column h2, td#middle-column font{font-size: small  !important;}";
css=css+"\n"+"td#middle-column * { font-size: small !important; text-align: justify;}";

css=css+"\n"

function addGlobalStyle(css) {
    var head, style;
    head = document.getElementsByTagName('head')[0];
    if (!head) { return; }
    style = document.createElement('style');
    style.type = 'text/css';
    style.innerHTML = css;
    head.appendChild(style);
}
addGlobalStyle(css)