wok-6.x annotate shellinabox/stuff/12px.css @ rev 22331

python-pygments: update $WEB_SITE
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Nov 15 11:56:14 2019 +0100 (2019-11-15)
parents
children
rev   line source
pascal@18869 1 #vt100 #reconnect input { font-size: small; }
pascal@18869 2 #vt100 #scrollable { font-size: 12px; }
pascal@18869 3 #vt100 #cursize { font-size: 12px; }
pascal@18869 4 #vt100 #console { font-size: 12px; }
pascal@18869 5 #vt100 #cursor { font-size: 12px; }
pascal@18869 6 #vt100 #linheight { font-size: 12px; }