comparison: test/header.html
test/header.html
- changeset 59
- 643a3ccecd61
- parent 27
- 53fd8595378c
- child 60
- 9f25df78925e
equal
deleted
inserted
replaced
| 58:f37984d9ab11 | 59:643a3ccecd61 |
|---|---|
| 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 { | |
| 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 } | |
| 6 span.c2html-lineno a { | 13 span.c2html-lineno a { |
| 7 font-style: italic; | 14 font-style: italic; |
| 8 text-decoration: none; | 15 text-decoration: none; |
| 9 color: grey; | 16 color: grey; |
| 10 } | 17 } |
