Overview
Comment:Improve styling
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 8466b29c69d17f562e4c5063e126d89927c1334c
User & Date: bohwaz on 2020-12-09 00:06:00
Other Links: manifest | tags
Context
2020-12-09
00:13
Homepage should be fine now check-in: adcb82c019 user: bohwaz tags: trunk
00:06
Improve styling check-in: 8466b29c69 user: bohwaz tags: trunk
00:02
OK it was just not liking the HTML at the end of the page check-in: e1a556d158 user: bohwaz tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Modified doc/index.md from [5ded445bf0] to [75322ea107].

︙
42
43
44
45
46
47
48
49

50
51
52
53
54
55

56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77







78
79
80
81
82
83
84

42
43
44
45
46
47
48

49
50
51
52
53
54

55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75


76
77
78
79
80
81
82
83
84
85
86
87
88
89








-
+





-
+




















-
-
+
+
+
+
+
+
+








	align-items: stretch;
}

#gnav li {
	margin: 0;
	padding: 0;
	font-size: 1.2em;
	margin: 0 .5em;
	margin: .5em;
	text-align: center;
}

#gnav li a {
	height: 100%;
	padding: .5rem 1rem;
	padding: .5rem;
	background: #ddf;
	color: black;
	text-decoration: none;
	display: flex;
	align-items: center;
	justify-content: center;
	border-radius: .5em;
	border: 2px solid #99f;
}

#gnav li strong, #gnav li em {
	height: 100%;
	padding: .5rem 1rem;
}

#gnav li a:hover {
	text-decoration: underline;
	background: #eef;
}

#download {
	font-size: .8em;
#download li {
	font-size: 1em;
}

#download li a {
	border-color: #060;
	background: #dfd;
}
`;

function isNewerVersion (oldVer, newVer) {
	const oldParts = oldVer.split('.')
	const newParts = newVer.split('.')
	for (var i = 0; i < newParts.length; i++) {
︙
114
115
116
117
118
119
120
121

122
123
124
125
126
127
128

119
120
121
122
123
124
125

126
127
128
129
130
131
132
133








-
+








			time = Math.ceil(days) + ' jours';
		}
		else if (days >= 31) {
			time = Math.round(days / 30.5) + ' mois';
		}

		document.querySelector('#download').innerHTML += `<li><strong>Dernière version : ${last}</strong></li>
			<li><em>il y a ${days}</em></li>
			<li><em>il y a ${time}</em></li>
			<li><a href="/garradin/wiki/?name=Changelog">Nouveautés</a></li>
			<li><a href="/garradin/uv/${selected.name}">Télécharger</a></li>`;
	});
});
</script>

## C'est quoi ?
︙

Fossil 2.20 [210e89a059] 2022-11-16 18:46:32
This page was generated in about 0.012s