<!DOCTYPE HTML>
<html>
<body>
<p>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.</p>
  <div style="width:500px; height:4096px; border-left: 4px solid #8394B2; border-right: 1px dotted #000; border-bottom: 1px dotted #000;"></div>
</body>
</html>