Если вдруг системные настройки не предполагат разный цвет закладок, может быть можно менять цвет шрифта, его размер и тип написания (полужирный и т.д.). В любом случае подойдет любой способ, который визуально позволит отличить один тип страницы от другой без необходимости вчитываться в текст.