In firefox is er dus een bug ofzo met die codeblokken, en de nummertjes ervoor.
Met deze CSS is dat opgelost:
.code_table * { font-size: 9pt; font-family: Courier; }
Nu dacht ik, ik ga dat verwerken in zo'n Greasemonkey userscript.
Ik heb nu dus zoiets:
// ==UserScript==
// @name [PHPhulp] Code-blokken-in-firefox-bug-oplos-script
// @namespace http://www.phphulp.nl
// @description Nu kloppen de nummertjes :-D
// @include *.phphulp.nl*
// @include *phphulp.nl*
// @include phphulp.nl*
// @include *.phphulp.nl
// ==/UserScript==
(function() {
var lala = getElementsByTagname('table');
var aantal = count(lala);
for (var i = 0; i < aantal; i++)
{
if (lala[i].className == 'code_table')
{
lala[i].style.fontSize = '9pt';
}
}
})();
Maar ik wil deze CSS toepassen:
<?
.code_table * { font-size: 9pt; font-family: Courier; }
?>
En ik weet niet hoe ik dat moet doen.
Kan iemand helpen?
Groet,
Boris