A lightweight programming environment for desktop and mobile devices

editor widget now takes a bottom margin

This seems easy! :crossed-fingers:

Created by  akkartik  on November 15, 2023
ICS45BILRVYLF7ADAON2W67YHOCRQVKMR6AMTLTJJHW7RIYIUP3AC
Change contents