3 var fromString = function(elmList) {
4 if (typeof elmList === "string") return elmList;
6 while (elmList[0] === "Cons") {
10 return String.properEscape(a.join(''));
13 var addTag = function(tag) { return function(text) {
14 return '<' + tag + '>' + text + '</' + tag + '>';
17 var addStyle = function(style, value) { return function(text) {
18 return "<span style='" + style + ":" + value + "'>" + text + "</span>";
22 var typeface = function(name) { return addStyle('font-family', name); };
23 var size = function(px) {
24 return addStyle('font-size', px + 'px');
26 var header = addTag('h1');
27 var height = function(h) { return addStyle('font-size', h+'em'); }
28 var italic = addStyle('font-style', 'italic');
29 var bold = addTag('b');
30 var color = function(c) {
31 return addStyle('color', Color.Internal.extract(c));
33 var underline = addStyle('text-decoration', 'underline');
34 var overline = addStyle('text-decoration', 'overline');
35 var strikeThrough = addStyle('text-decoration', 'line-through');
36 var link = function(href) { return function(text) {
37 return "<a href='" + fromString(href) + "'>" + text + "</a>";
41 return {fromString : fromString,
47 underline : underline,
49 strikeThrough : strikeThrough,
50 monospace : typeface('monospace'),
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list