code: def set_font_size(self, size):
          "Set font size in points"
          if(self.font_size_pt==size):
              return
          self.font_size_pt=size
          self.font_size=size/self.k
          if(self.page>0):
              self._out(sprintf('BT /F%d %.2f Tf ET',self.current_font['i'],self.font_size_pt)f set_font_size(self, size):
          "Set font size in points"
          if(self.font_size_pt==size):
              return
          self.font_size_pt=size
          self.font_size=size/self.k
          if(self.page>0):
              self._out(sprintf('BT /F%d %.2f Tf ET',self.current_font['i'],self.font_size_pt))
docs: Set font size in points