/* @option user-defined top menu position */
#navigation{float: right;}