/* menu.css — additional menu page styles if needed */
/* Most styles are scoped inline in index.html <style> blocks */
/* This file exists for any future extensions */