<div dir="ltr"><span style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px">Thanks all, I’ve got what I needed.</span><br style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px">

<br style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px"><span style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px">Brief results; Big variety in window and text sizes, but very few font and color choices. More than half the terminals seem to be basically default settings.</span><br style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px">

<br style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px"><span style="color:rgb(0,0,0);font-family:Roboto,arial,sans-serif;font-size:13px;line-height:18px">Finally, 15% seem to be using horrid bitmap console fonts. _How can you stand to look at them?!?!_ (Don&#39;t worry, you&#39;ll have Plush soon enough...)</span><br>

​</div>