fixed the css thingy, where the size is computed wrongly due to margins...