Updated index

gto76 · gto76 · commit f21a0a4a8bb6 · 2019-12-10T18:14:19.000+01:00
diff --git a/web/index_for_pdf.html b/web/index_for_pdf.html
@@ -76,7 +76,7 @@ <h3 id="j">J</h3>
 <h3 id="l">L</h3>
 <p><strong>lambda, <a href="#lambda">11</a></strong><br>
 <strong>list comprehension, <a href="#comprehension">11</a></strong><br>
-<strong>lists, <a href="#list">1</a>-2</strong>, <a href="#otheruses">11</a><br>
+<strong>lists, <a href="#list">1</a>-<a href="#list">2</a>, <a href="#otheruses">11</a></strong><br>
 <strong>locks, <a href="#lock">29</a></strong><br>
 <strong>logging, <a href="#logging">35</a></strong>  </p>
 <h3 id="m">M</h3>
diff --git a/web/index_for_pdf_print.html b/web/index_for_pdf_print.html
@@ -1,5 +1,6 @@
-<!-- Brightnesses: 87, 89, 37, 60, 58, 57 / Scale: 98% -->
-<!-- Borders: 0.1>, 0.6>, 0.8>, 11.4v, 0.27^, 0.57< -->
+<!-- Brightnesses: sideline: 87, hash_symbol: 89, red: 37, blue: 60, comments: 58, pip_install_comments: 57 / scale-when-saving: 100%, scale-when-printing: 98% -->
+<!-- Change page size: fixed sizes: A4, XOffset: 0.1 in-->
+<!-- Borders: left-line: 0.6, left-text: 0.8, top-line: 11.4, bottom-text: 0.27, right-text-odd: 0.57, font-name: menlo, font-size: 8 -->
 
 
 <div class="pagebreak"></div>
@@ -79,7 +80,7 @@ <h3 id="j">J</h3>
 <h3 id="l">L</h3>
 <p><strong>lambda, 11</strong><br>
 <strong>list comprehension, 11</strong><br>
-<strong>lists, 1-2</strong>, 11<br>
+<strong>lists, 1-2, 11</strong><br>
 <strong>locks, 29</strong><br>
 <strong>logging, 35</strong>  </p>
 <h3 id="m">M</h3>
