<body><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000;text-align: left" dir="ltr">
                                        Note that "tiny display" is rather misleading. This is about low-ppi displays. If it is actually tiny, say below 6 inches, then both mouse and touch input would be rather troublesome.<div><br></div><div>On a smaller display, you would need larger insets to actually hit something, regardless of low or high ppi.<div><br></div><div>Best,</div><div>Marcel</div></div><div class="mb_sig"></div><blockquote class='history_container' type='cite' style='border-left-style:solid;border-width:1px; margin-top:20px; margin-left:0px;padding-left:10px;'>
                        <p style='color: #AAAAAA; margin-top: 10px;'>Am 30.12.2021 18:01:18 schrieb Marcel Taeumel <marcel.taeumel@hpi.de>:</p><div style='font-family:Arial,Helvetica,sans-serif'><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000;text-align: left" dir="ltr">
                                        It looks like one could rather conveniently program on a 640x480 display with this.<div><br><div>Best,</div><div>Marcel</div><div class="mb_sig"></div>
                                        </div><blockquote class="history_container" type="cite" style="border-left-style: solid;border-width: 1px;margin-top: 20px;margin-left: 0px;padding-left: 10px;min-width: 500px">
                        <p style="color: #AAAAAA; margin-top: 10px;">Am 30.12.2021 17:30:51 schrieb Marcel Taeumel <marcel.taeumel@hpi.de>:</p><div style="font-family:Arial,Helvetica,sans-serif"><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000;text-align: left" dir="ltr">Hi all --<div class="mb_sig"></div><div><br></div><div>Christoph (ct) suggested scale factors below 100%. Since there already is the #tinyDisplay preference, I sketched a 75% scale using our smallest, pre-rendered "Bitmap DejaVu Sans".</div><div><br></div><div>Please find attached a changeset and a screenshot. Looks good. It's about 71%, given that 100% is 10.5pt, 96.0 ppi, and 14px height.</div><div><br></div><div>Best,</div><div>Marcel</div></div></div></blockquote></div></div></blockquote>
                                        </div></body>