@charset "UTF-8";
/* @group common */
div#content ul, dl{ font-size: 87.5%; }

/* @end */