Changing notebook menu fonts?

[phil (Phil Earnhardt)]

There’s an answer to your question (or a similar question) about Linux menu size posted here: Solved: Linux Interface Toolbar and Font Size . I’m not a Linux user. If that solves your problem, please add a follow-up message here saying what you did. HTH.