wok-6.x annotate shellinabox/stuff/14px.css @ rev 23594

updated python, python-dev and python-idle (2.7.15 -> 2.7.17)
author Hans-G?nter Theisgen
date Wed Apr 08 13:49:09 2020 +0100 (2020-04-08)
parents
children
rev   line source
pascal@18869 1 #vt100 #reconnect input { font-size: small; }
pascal@18869 2 #vt100 #scrollable { font-size: 14px; }
pascal@18869 3 #vt100 #cursize { font-size: 14px; }
pascal@18869 4 #vt100 #console { font-size: 14px; }
pascal@18869 5 #vt100 #cursor { font-size: 14px; }
pascal@18869 6 #vt100 #linheight { font-size: 14px; }