double-border-width-001

Double lines border style does not change border width

WeasyPrint

This browser

Assertion
The 'double' 'border-style' does not change the size of the border width. The sum of the two lines and the space need to equal the border width.

Source

 1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
 2 <html>
 3     <head>
 4         <title>CSS Test: Double lines border style does not change border width</title>
 5         <link rel="author" title="Microsoft" href="http://www.microsoft.com/">
 6         <link rel="help" href="http://www.w3.org/TR/CSS21/box.html#border-style-properties">
 7         <meta name="flags" content="">
 8         <meta name="assert" content="The 'double' 'border-style' does not change the size of the border width. The sum of the two lines and the space need to equal the border width.">
 9         <style type="text/css">
10             div
11             {
12                 position: relative;
13                 width: 1in;
14             }
15             #test
16             {
17                 border-top-style: double;
18                 border-top-width: 1in;
19             }
20             #reference
21             {
22                 background: blue;
23                 height: 1in;
24                 left: 1.1in;
25                 position: absolute;
26                 top: 0;
27             }
28         </style>
29     </head>
30     <body>
31         <p>Test passes if the top edge of the top-most black box is aligned with the top of the blue box and the bottom edge of the bottom-most black box is aligned with the bottom edge of the blue box.</p>
32         <div>
33             <div id="test"></div>
34             <div id="reference"></div>
35         </div>
36     </body>
37 </html>