Piero Fissore Thu, 07 Apr 2005 04:50:00 -0700
#menu { width: [$menuwidth-$menupadding-2*5px]; padding: $menupadding; border: 5px solid red;}