/* @option theme footer font-size */
#footer {	font-size: 12px;
}