/* @option user-selected navigation layout setting */