Commit 90ddc68d authored by Mathieu Giraud's avatar Mathieu Giraud

doc/tips.html: space between categories

parent b36a4993
......@@ -43,9 +43,15 @@
<script>
var divtips = document.getElementById('tips');
var oldkey = 'x'
for (var key in tips)
{
if (oldkey[0] != key[0])
divtips.appendChild(document.createElement('br'))
oldkey = key
tip = document.createElement('li')
tip.innerHTML = '<b>' + key + '</b> ' + tips[key]
divtips.appendChild(tip)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment