tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

columnlines-3-1.html (1613B)


      1 <!-- -*- mode: HTML; tab-width: 2; indent-tabs-mode: nil; -*- -->
      2 <!-- vim: set tabstop=2 expandtab shiftwidth=2 textwidth=80:  -->
      3 <!DOCTYPE html>
      4 <html>
      5  <head>
      6    <title>mtable frame</title>
      7    <!-- Copyright (c) 2011 Design Science, Inc.
      8         License: Apache License 2.0 -->
      9    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
     10    <link rel="mismatch" href="columnlines-3-1-ref.html"/>
     11  </head>
     12 
     13  <body>
     14 
     15  <!-- We assume there is a gap of more than 1px between dashes. Hence
     16       putting two dashed lines with only one pixel of difference in their
     17       vertical coordinates should not render the same as one dashed line
     18       alone. The opposite is true for continuous line.
     19       The red squares allow to ignore the difference at the bounds -->
     20 
     21  <div style="position: absolute; top: 5px; left: 5px;">
     22    <math>
     23      <mtable  columnlines="dashed">
     24        <mtr>
     25          <mtd><mspace height="150px"></mspace></mtd>
     26          <mtd><mspace height="150px"></mspace></mtd>
     27        </mtr>
     28      </mtable>
     29    </math>
     30  </div>
     31 
     32  <div style="position: absolute; top: 6px; left: 5px;">
     33    <math>
     34      <mtable columnlines="dashed">
     35        <mtr>
     36          <mtd><mspace height="150px"></mspace></mtd>
     37          <mtd><mspace height="150px"></mspace></mtd>
     38        </mtr>
     39      </mtable>
     40    </math>
     41  </div>
     42 
     43  <div style="position: absolute; top: 5px; left: 0px;
     44              width: 50px; height: 50px; background: red;"></div>
     45 
     46  <div style="position: absolute; top: 115px; left: 0px;
     47              width: 50px; height: 55px; background: red;"></div>
     48  </body>
     49 </html>