comparison: test/jheader.html
test/jheader.html
- changeset 66
- 1b12cf799fee
- parent 60
- 9f25df78925e
- child 91
- 2c8514b3891b
equal
deleted
inserted
replaced
| 60:9f25df78925e | 66:1b12cf799fee |
|---|---|
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <title>c2html</title> | 4 <title>c2html</title> |
| 5 <style type="text/css"> | 5 <style type="text/css"> |
| 6 div.c2html-code { | |
| 7 white-space: pre; | |
| 8 font-family: monospace; | |
| 9 } | |
| 6 a.c2html-lineno { | 10 a.c2html-lineno { |
| 7 /* as long as user-select isn't widely spread, we throw the bomb */ | 11 /* as long as user-select isn't widely spread, we throw the bomb */ |
| 8 -webkit-user-select: none; | 12 -webkit-user-select: none; |
| 9 -moz-user-select: none; | 13 -moz-user-select: none; |
| 10 -ms-user-select: none; | 14 -ms-user-select: none; |
