comparison: test/jheader.html
test/jheader.html
- changeset 60
- 9f25df78925e
- parent 27
- 53fd8595378c
- child 66
- 1b12cf799fee
equal
deleted
inserted
replaced
| 59:643a3ccecd61 | 60:9f25df78925e |
|---|---|
| 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 span.c2html-lineno a { | 6 a.c2html-lineno { |
| 7 /* as long as user-select isn't widely spread, we throw the bomb */ | |
| 8 -webkit-user-select: none; | |
| 9 -moz-user-select: none; | |
| 10 -ms-user-select: none; | |
| 11 user-select: none; | |
| 12 display: inline-block; | |
| 7 font-style: italic; | 13 font-style: italic; |
| 8 text-decoration: none; | 14 text-decoration: none; |
| 9 color: grey; | 15 color: grey; |
| 10 } | 16 } |
| 11 span.c2html-keyword { | 17 span.c2html-keyword { |
