Border Height

The very tall div below (> 4095 pixels) should have a 1-pixel dotted border on the right and bottom and a wider solid border on the left.