/* @option user-defined navigation position */
#navigation { display: none; }