Эта проблема возникает, если ширина не делится на border-width.
Это работает: http://jsfiddle.net/bcdQQ/5/ (я сделал его немного больше, для лучшего обзора)
#prodpre {
border-bottom: #555 5px dotted;
height: 20px;
margin: 0px 0px 2px 0px;
padding-bottom: 10px;
width: 505px;
}
Таким образом, единственная возможность уловить эту проблему - это решение javascript, которое исправляет ширину div, поэтому оно делится на border-width (потому что это динамически в вашем примере).