/* @option user-defined navigation position */
#navigation ul { float: left; }