/* Zmiana czcionki */
function fontSize(rozmiar) {
document.getElementById('tresc').style['fontSize'] = rozmiar;
}
/* Emotikony */
function emoticon(typ) {
document.getElementById('komentarz').value+=typ;
}