diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-10-27 12:38:01 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-10-27 12:38:01 -0700 |
commit | cc7788cf62999d317626301960f83d42219acb7e (patch) | |
tree | d439f3b318ffbed753594cb34b7fe01d2f80c4d9 /template.html | |
parent | 103d3d37324d8629d7dc1d549a38fbb8981b1f00 (diff) |
Improved (interact) links in spec.
- Link now has pointer cursor.
- → is converted to tab.
Closes #174.
Diffstat (limited to 'template.html')
-rw-r--r-- | template.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/template.html b/template.html index 4c64524..24b2372 100644 --- a/template.html +++ b/template.html @@ -60,7 +60,7 @@ pre.html span.space:after { } #watermark a { color: white; } div.examplenum { font-size: 82%; text-align: left; } -a.dingus { color: red; } +a.dingus { color: red; cursor: pointer; } a.footnoteRef > sup:before { content: "["; } @@ -78,7 +78,8 @@ $$(document).ready(function() { $$("div.example").each(function(e) { var t = $$(this).find('pre.markdown > code').text(); $$(this).find('a.dingus').click(function(f) { - window.open('/dingus.html?text=' + encodeURIComponent(t)); + window.open('/dingus.html?text=' + + encodeURIComponent(t.replace(/→/g,"\t"))); }); }); $$("pre.markdown").dblclick(function(e) { window.open('/dingus.html?text=' + |