Gray and centered HTML pages

Makes HTML pages easy to read by setting the body to center, the background color to gray and the font size to 16pt.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey, Greasemonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Userscripts.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een gebruikersscriptbeheerder nodig.

(Ik heb al een user script manager, laat me het downloaden!)

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

(Ik heb al een beheerder - laat me doorgaan met de installatie!)

// ==UserScript==
// @name        Gray and centered HTML pages
// @description Makes HTML pages easy to read by setting the body to center, the background color to gray and the font size to 16pt.
// @namespace   hugsmile.eu
// @include     *.html
// @include     *htm
// @version     0.2
// @grant       none
// ==/UserScript==

(function () {
    function addCss(cssString) { 
        var head = document.getElementsByTagName('head')[0]; 
        if(head){
            var newCss = document.createElement('style'); 
            newCss.type = "text/css"; 
            newCss.innerHTML = cssString; 
            head.appendChild(newCss);
        }
    }
    var script = document.getElementsByTagName('script')[0];
    if(!script){
        addCss ('body { width: 50%;  margin: 0 auto; background-color: gray; font-size: 16pt;}');
    }
})();