test/header.html

changeset 66
1b12cf799fee
parent 60
9f25df78925e
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;

mercurial