• Draw double border corners. 

    I believe this fixes the last real bug in `borders_a.html`.
    @pcwalton
    pcwalton committed Jan 6, 2016
    8e2489e