add style.MENU_WIDTH_CHARS
completed by: Ignacio Rodríguez
mentors: Walter Bender
There are several places where we hardcode a number for maximum character width in the interface. We should have an entry in style.py and apply it where needed, e.g.. menu_item.py