#logo{height:$logo_height_smallerpx;width:$logo_width_smallerpx}