Options

About the width of the menu.