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; |