Update html.

Author: fniu

books/specifying-systems-cn/index.html

@@ -779,7 +779,7 @@ <h1>如何使用TLA+语言描述系统</h1>
 <div id="toc" class="toc2">
 <div id="toctitle">目录</div>
 <ul class="sectlevel1">
-<li><a href="#_前言">前言</a></li>
+<li><a href="#_序言">序言</a></li>
 <li><a href="#_准备开始">准备开始</a>
 <ul class="sectlevel1">
 <li><a href="#_些许简单数学">1. 些许简单数学</a>
@@ -798,7 +798,7 @@ <h1>如何使用TLA+语言描述系统</h1>
 </div>
 <div id="content">
 <div class="sect1">
-<h2 id="_前言">前言</h2>
+<h2 id="_序言">序言</h2>
 <div class="sectionbody">
 <div class="paragraph">
 <p>想去翻译这本书，主要是因为笔者从事形式化相关工作，能够在学习TLA+语言的
@@ -825,7 +825,9 @@ <h1 id="_准备开始" class="sect0">准备开始</h1>
 <h2 id="_些许简单数学">1. 些许简单数学</h2>
 <div class="sectionbody">
 <div class="paragraph text-center">
-<p><a href="#_前言"><span class="icon"><i class="fa fa-arrow-circle-left"></i></span></a>  <a href="#_简单时钟系统"><span class="icon"><i class="fa fa-arrow-circle-right"></i></span></a></p>
+<p><a href="#_序言"><span class="icon"><i class="fa fa-level-up"></i></span></a>
+-
+<a href="#_简单时钟系统"><span class="icon"><i class="fa fa-level-down"></i></span></a></p>
 </div>
 <hr>
 <div class="sect2">
@@ -1106,7 +1108,7 @@ <h2 id="_简单时钟系统">2. 简单时钟系统</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2020-08-06 23:01:15 +0200
+Last updated 2020-08-08 19:54:38 +0200
 </div>
 </div>
 <script type="text/x-mathjax-config">