<!DOCTYPE html>
<!--
| Verify the content and borders are rendered
| correctly when borders may require antialiasing.
-->
<html>
<head>
  <style>
    body {
      background: #AAA;
      font: 20px sans-serif;
      margin: 10px;
    }
    div {
      margin: 25px;
      border: 15.5px solid #333;
      padding: 10px;
      width: 200px;
    }
    #C {
      background-color: #000;
    }
  </style>
</head>
<body>
      <div id="C"><span>C</span>
      </div>
</body>
</html>