<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">On 06/04/2022 22:35, Riccardo
      Bernardini wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CALW+Lz7ZLb6bxPrTwcb3qO-TpmHq5OiB+o5W3i-s_pW6gvk9_A@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <p class="MsoNormal"
          style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Good
          evening,</p>
        <p class="MsoNormal"
          style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">I
          need to know how to make the character of the source code
          bigger,</p>
        <p class="MsoNormal"
          style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">cause
          I'm writing my math thesis and my eyes hurt.</p>
        <p class="MsoNormal"
          style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">Thank
          you :)</p>
        <p class="MsoNormal"
          style="margin:0cm;font-size:11pt;font-family:Calibri,sans-serif">R.B.</p>
      </div>
    </blockquote>
    <p>Format / font / size.</p>
    <p>-- <br>
      <i>Philip Taylor</i><br>
    </p>
  </body>
</html>