> dotted and dashed are two separate border styles in css coding.

Right. Thing is in the Springer Computing Dictionary it gives 'dotted' for, well, 'dashed' lines. This is why I guessed that 'dashed' maybe USn and UK English uses 'dotted' for both. Dictionary.com gives 'dashed' as a synonym of dotted:
http://dictionary.reference.com/search?q=dashed