3 Any copyright is dedicated to the Public Domain.
4 http://creativecommons.org/publicdomain/zero/1.0/
8 <title>Bug
942017</title>
10 <style type=
"text/css">
12 font-family: DejaVuSansMono
;
13 src: url
(../fonts/DejaVuSansMono.woff),url
(DejaVuSansMono.woff);
17 color:black
; background-color:white
; font-size:24px; font-family:DejaVuSansMono
; padding:20px; margin:0;
23 outline: 2px solid black
;
27 div
.a
{ line-height: 0.5em; }
28 div
.b
{ line-height: 2em; }
29 div
.i l
{ margin-left:2.84ch; }
31 l
{ display:block
; outline:1px solid green
; width:1ch; direction:rtl
; white-space:nowrap
; }
32 x
{ display:inline-block
; width:2.84ch; height:1px; vertical-align:top
; }