#menu {
    width: [$menuwidth-$menupadding-2*5px];
    padding: $menupadding;
    border: 5px solid red;
}

Mmm, cool! But does it really help you?
 


Reply via email to