A minimalistic html editor