Delete some usless file

5 files changed, 0 insertions, 923 deletions

diff --git a/build/css/highlight.css b/build/css/highlight.css
deleted file mode 100644
index 665dea4f..00000000
--- a/build/css/highlight.css
+++ /dev/null
@@ -1,35 +0,0 @@
-/* Based on Pandoc's Pygments color theme */
-table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
-    margin: 0; padding: 0; vertical-align: baseline; border: none; }
-table.sourceCode { width: 100%; line-height: 100%; }
-td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; }
-td.sourceCode { padding-left: 5px; }
-code > span.kw { color: #007020; font-weight: bold; } /* Keyword */
-code > span.dt { color: #902000; } /* DataType */
-code > span.dv { color: #40a070; } /* DecVal */
-code > span.bn { color: #40a070; } /* BaseN */
-code > span.fl { color: #40a070; } /* Float */
-code > span.ch { color: #4070a0; } /* Char */
-code > span.st { color: #4070a0; } /* String */
-code > span.co { color: #60a0b0; font-style: italic; } /* Comment */
-code > span.ot { color: #007020; } /* Other */
-code > span.al { color: #ff0000; font-weight: bold; } /* Alert */
-code > span.fu { color: #06287e; } /* Function */
-code > span.er { color: #ff0000; font-weight: bold; } /* Error */
-code > span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
-code > span.cn { color: #880000; } /* Constant */
-code > span.sc { color: #4070a0; } /* SpecialChar */
-code > span.vs { color: #4070a0; } /* VerbatimString */
-code > span.ss { color: #bb6688; } /* SpecialString */
-code > span.im { color: #007020; font-weight: bold; } /* Import */
-code > span.va { color: #19177c; } /* Variable */
-code > span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
-code > span.op { color: #666666; } /* Operator */
-code > span.bu { } /* BuiltIn */
-code > span.ex { } /* Extension */
-code > span.pp { color: #bc7a00; } /* Preprocessor */
-code > span.at { color: #7d9029; } /* Attribute */
-code > span.do { color: #ba2121; font-style: italic; } /* Documentation */
-code > span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
-code > span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
-code > span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
diff --git a/build/css/normalize.css b/build/css/normalize.css
deleted file mode 100644
index 5250b745..00000000
--- a/build/css/normalize.css
+++ /dev/null
@@ -1,422 +0,0 @@
-/*! normalize.css v4.2.0 | MIT License | github.com/necolas/normalize.css */
-
-/**
- * 1. Change the default font family in all browsers (opinionated).
- * 2. Correct the line height in all browsers.
- * 3. Prevent adjustments of font size after orientation changes in IE and iOS.
- */
-
-html {
-  font-family: sans-serif; /* 1 */
-  line-height: 1.15; /* 2 */
-  -ms-text-size-adjust: 100%; /* 3 */
-  -webkit-text-size-adjust: 100%; /* 3 */
-}
-
-/**
- * Remove the margin in all browsers (opinionated).
- */
-
-body {
-  margin: 0;
-}
-
-/* HTML5 display definitions
-   ========================================================================== */
-
-/**
- * Add the correct display in IE 9-.
- * 1. Add the correct display in Edge, IE, and Firefox.
- * 2. Add the correct display in IE.
- */
-
-article,
-aside,
-details, /* 1 */
-figcaption,
-figure,
-footer,
-header,
-main, /* 2 */
-menu,
-nav,
-section,
-summary { /* 1 */
-  display: block;
-}
-
-/**
- * Add the correct display in IE 9-.
- */
-
-audio,
-canvas,
-progress,
-video {
-  display: inline-block;
-}
-
-/**
- * Add the correct display in iOS 4-7.
- */
-
-audio:not([controls]) {
-  display: none;
-  height: 0;
-}
-
-/**
- * Add the correct vertical alignment in Chrome, Firefox, and Opera.
- */
-
-progress {
-  vertical-align: baseline;
-}
-
-/**
- * Add the correct display in IE 10-.
- * 1. Add the correct display in IE.
- */
-
-template, /* 1 */
-[hidden] {
-  display: none;
-}
-
-/* Links
-   ========================================================================== */
-
-/**
- * 1. Remove the gray background on active links in IE 10.
- * 2. Remove gaps in links underline in iOS 8+ and Safari 8+.
- */
-
-a {
-  background-color: transparent; /* 1 */
-  -webkit-text-decoration-skip: objects; /* 2 */
-}
-
-/**
- * Remove the outline on focused links when they are also active or hovered
- * in all browsers (opinionated).
- */
-
-a:active,
-a:hover {
-  outline-width: 0;
-}
-
-/* Text-level semantics
-   ========================================================================== */
-
-/**
- * 1. Remove the bottom border in Firefox 39-.
- * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
- */
-
-abbr[title] {
-  border-bottom: none; /* 1 */
-  text-decoration: underline; /* 2 */
-  text-decoration: underline dotted; /* 2 */
-}
-
-/**
- * Prevent the duplicate application of `bolder` by the next rule in Safari 6.
- */
-
-b,
-strong {
-  font-weight: inherit;
-}
-
-/**
- * Add the correct font weight in Chrome, Edge, and Safari.
- */
-
-b,
-strong {
-  font-weight: bolder;
-}
-
-/**
- * Add the correct font style in Android 4.3-.
- */
-
-dfn {
-  font-style: italic;
-}
-
-/**
- * Correct the font size and margin on `h1` elements within `section` and
- * `article` contexts in Chrome, Firefox, and Safari.
- */
-
-h1 {
-  font-size: 2em;
-  margin: 0.67em 0;
-}
-
-/**
- * Add the correct background and color in IE 9-.
- */
-
-mark {
-  background-color: #ff0;
-  color: #000;
-}
-
-/**
- * Add the correct font size in all browsers.
- */
-
-small {
-  font-size: 80%;
-}
-
-/**
- * Prevent `sub` and `sup` elements from affecting the line height in
- * all browsers.
- */
-
-sub,
-sup {
-  font-size: 75%;
-  line-height: 0;
-  position: relative;
-  vertical-align: baseline;
-}
-
-sub {
-  bottom: -0.25em;
-}
-
-sup {
-  top: -0.5em;
-}
-
-/* Embedded content
-   ========================================================================== */
-
-/**
- * Remove the border on images inside links in IE 10-.
- */
-
-img {
-  border-style: none;
-}
-
-/**
- * Hide the overflow in IE.
- */
-
-svg:not(:root) {
-  overflow: hidden;
-}
-
-/* Grouping content
-   ========================================================================== */
-
-/**
- * 1. Correct the inheritance and scaling of font size in all browsers.
- * 2. Correct the odd `em` font sizing in all browsers.
- */
-
-code,
-kbd,
-pre,
-samp {
-  font-family: monospace, monospace; /* 1 */
-  font-size: 1em; /* 2 */
-}
-
-/**
- * Add the correct margin in IE 8.
- */
-
-figure {
-  margin: 1em 40px;
-}
-
-/**
- * 1. Add the correct box sizing in Firefox.
- * 2. Show the overflow in Edge and IE.
- */
-
-hr {
-  box-sizing: content-box; /* 1 */
-  height: 0; /* 1 */
-  overflow: visible; /* 2 */
-}
-
-/* Forms
-   ========================================================================== */
-
-/**
- * 1. Change font properties to `inherit` in all browsers (opinionated).
- * 2. Remove the margin in Firefox and Safari.
- */
-
-button,
-input,
-optgroup,
-select,
-textarea {
-  font: inherit; /* 1 */
-  margin: 0; /* 2 */
-}
-
-/**
- * Restore the font weight unset by the previous rule.
- */
-
-optgroup {
-  font-weight: bold;
-}
-
-/**
- * Show the overflow in IE.
- * 1. Show the overflow in Edge.
- */
-
-button,
-input { /* 1 */
-  overflow: visible;
-}
-
-/**
- * Remove the inheritance of text transform in Edge, Firefox, and IE.
- * 1. Remove the inheritance of text transform in Firefox.
- */
-
-button,
-select { /* 1 */
-  text-transform: none;
-}
-
-/**
- * 1. Prevent a WebKit bug where (2) destroys native `audio` and `video`
- *    controls in Android 4.
- * 2. Correct the inability to style clickable types in iOS and Safari.
- */
-
-button,
-html [type="button"], /* 1 */
-[type="reset"],
-[type="submit"] {
-  -webkit-appearance: button; /* 2 */
-}
-
-/**
- * Remove the inner border and padding in Firefox.
- */
-
-button::-moz-focus-inner,
-[type="button"]::-moz-focus-inner,
-[type="reset"]::-moz-focus-inner,
-[type="submit"]::-moz-focus-inner {
-  border-style: none;
-  padding: 0;
-}
-
-/**
- * Restore the focus styles unset by the previous rule.
- */
-
-button:-moz-focusring,
-[type="button"]:-moz-focusring,
-[type="reset"]:-moz-focusring,
-[type="submit"]:-moz-focusring {
-  outline: 1px dotted ButtonText;
-}
-
-/**
- * Change the border, margin, and padding in all browsers (opinionated).
- */
-
-fieldset {
-  border: 1px solid #c0c0c0;
-  margin: 0 2px;
-  padding: 0.35em 0.625em 0.75em;
-}
-
-/**
- * 1. Correct the text wrapping in Edge and IE.
- * 2. Correct the color inheritance from `fieldset` elements in IE.
- * 3. Remove the padding so developers are not caught out when they zero out
- *    `fieldset` elements in all browsers.
- */
-
-legend {
-  box-sizing: border-box; /* 1 */
-  color: inherit; /* 2 */
-  display: table; /* 1 */
-  max-width: 100%; /* 1 */
-  padding: 0; /* 3 */
-  white-space: normal; /* 1 */
-}
-
-/**
- * Remove the default vertical scrollbar in IE.
- */
-
-textarea {
-  overflow: auto;
-}
-
-/**
- * 1. Add the correct box sizing in IE 10-.
- * 2. Remove the padding in IE 10-.
- */
-
-[type="checkbox"],
-[type="radio"] {
-  box-sizing: border-box; /* 1 */
-  padding: 0; /* 2 */
-}
-
-/**
- * Correct the cursor style of increment and decrement buttons in Chrome.
- */
-
-[type="number"]::-webkit-inner-spin-button,
-[type="number"]::-webkit-outer-spin-button {
-  height: auto;
-}
-
-/**
- * 1. Correct the odd appearance in Chrome and Safari.
- * 2. Correct the outline style in Safari.
- */
-
-[type="search"] {
-  -webkit-appearance: textfield; /* 1 */
-  outline-offset: -2px; /* 2 */
-}
-
-/**
- * Remove the inner padding and cancel buttons in Chrome and Safari on OS X.
- */
-
-[type="search"]::-webkit-search-cancel-button,
-[type="search"]::-webkit-search-decoration {
-  -webkit-appearance: none;
-}
-
-/**
- * Correct the text style of placeholders in Chrome, Edge, and Safari.
- */
-
-::-webkit-input-placeholder {
-  color: inherit;
-  opacity: 0.54;
-}
-
-/**
- * 1. Correct the inability to style clickable types in iOS and Safari.
- * 2. Change font properties to `inherit` in Safari.
- */
-
-::-webkit-file-upload-button {
-  -webkit-appearance: button; /* 1 */
-  font: inherit; /* 2 */
-}
diff --git a/build/css/normalize.min.css b/build/css/normalize.min.css
deleted file mode 100644
index c23c8f8f..00000000
--- a/build/css/normalize.min.css
+++ /dev/null
@@ -1 +0,0 @@
-/*! normalize.css v4.2.0 | MIT License | github.com/necolas/normalize.css */html{font-family:sans-serif;line-height:1.15;-ms-text-size-adjust:100%;-webkit-text-size-adjust:100%}body{margin:0}article,aside,details,figcaption,figure,footer,header,main,menu,nav,section,summary{display:block}audio,canvas,progress,video{display:inline-block}audio:not([controls]){display:none;height:0}progress{vertical-align:baseline}template,[hidden]{display:none}a{background-color:transparent;-webkit-text-decoration-skip:objects}a:active,a:hover{outline-width:0}abbr[title]{border-bottom:0;text-decoration:underline;text-decoration:underline dotted}b,strong{font-weight:inherit}b,strong{font-weight:bolder}dfn{font-style:italic}h1{font-size:2em;margin:.67em 0}mark{background-color:#ff0;color:#000}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-0.25em}sup{top:-0.5em}img{border-style:none}svg:not(:root){overflow:hidden}code,kbd,pre,samp{font-family:monospace,monospace;font-size:1em}figure{margin:1em 40px}hr{box-sizing:content-box;height:0;overflow:visible}button,input,optgroup,select,textarea{font:inherit;margin:0}optgroup{font-weight:bold}button,input{overflow:visible}button,select{text-transform:none}button,html [type="button"],[type="reset"],[type="submit"]{-webkit-appearance:button}button::-moz-focus-inner,[type="button"]::-moz-focus-inner,[type="reset"]::-moz-focus-inner,[type="submit"]::-moz-focus-inner{border-style:none;padding:0}button:-moz-focusring,[type="button"]:-moz-focusring,[type="reset"]:-moz-focusring,[type="submit"]:-moz-focusring{outline:1px dotted ButtonText}fieldset{border:1px solid silver;margin:0 2px;padding:.35em .625em .75em}legend{box-sizing:border-box;color:inherit;display:table;max-width:100%;padding:0;white-space:normal}textarea{overflow:auto}[type="checkbox"],[type="radio"]{box-sizing:border-box;padding:0}[type="number"]::-webkit-inner-spin-button,[type="number"]::-webkit-outer-spin-button{height:auto}[type="search"]{-webkit-appearance:textfield;outline-offset:-2px}[type="search"]::-webkit-search-cancel-button,[type="search"]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-input-placeholder{color:inherit;opacity:.54}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}
\ No newline at end of file
diff --git a/build/css/theme-chinese-article.css b/build/css/theme-chinese-article.css
deleted file mode 100644
index 1b76afaf..00000000
--- a/build/css/theme-chinese-article.css
+++ /dev/null
@@ -1,74 +0,0 @@
-h1 {
-    font-size: 140%;
-}
-
-h2 {
-    font-size: 110%;
-}
-
-h3 {
-    font-size: 100%;
-}
-
-p {
-    margin-top: 0;
-    margin-bottom: 0;
-    text-indent: 2em;
-    line-height: 1.3em;
-}
-
-blockquote {
-    margin: 1em 2em 1em 2em;
-    padding: 0;
-    border: none;
-    font-style: normal;
-}
-
-article a {
-    text-decoration: none;
-    color: #777;
-}
-
-sup {
-    margin: 0;
-}
-
-.en p, .en li {
-    text-indent: 0;
-    margin-top: 0.5em;
-    margin-bottom: 0.5em;
-}
-
-.en blockquote {
-    font-style: italic;
-}
-
-.date-tag {
-    text-align: right;
-}
-
-.poem {
-    text-align: center;
-}
-
-.undent, .footnotes p {
-    text-indent: 0;
-}
-
-.skip {
-    margin-bottom: 1em;
-}
-
-.poem p {
-    margin-top: 1em;
-    margin-bottom: 1em;
-    text-indent: 0;
-}
-
-@media print {
-    footer {
-        width: 0;
-        height: 0;
-        visibility: hidden;
-    }
-}
diff --git a/build/css/theme.css b/build/css/theme.css
deleted file mode 100644
index 6735e8c0..00000000
--- a/build/css/theme.css
+++ /dev/null
@@ -1,391 +0,0 @@
-/*** Webfonts ***/
-
-/* icon font from fontello */
-@font-face {
-  font-family: 'fontello';
-  src: url('../fonts/fontello.eot');
-  src: url('../fonts/fontello.eot?#iefix') format('embedded-opentype'),
-       url('../fonts/fontello.woff') format('woff'),
-       url('../fonts/fontello.ttf') format('truetype'),
-       url('../fonts/fontello.svg#fontello') format('svg');
-  font-weight: normal;
-  font-style: normal;
-}
-
-/*** Main theme ***/
-
-body {
-    color: #000;
-    font-family: Times, "Times New Roman",
-                 /* Chinese fonts */
-                 "Kaiti SC", /* macOS */
-                 "Songti SC", /* macOS 10.12+ where Kaiti SC isn't installed by default
-                                 but is instead available as a downloadable component */
-                 KaiTi, /* Windows (simkai.ttf, not always included despite
-                           https://www.microsoft.com/typography/fonts/product.aspx?PID=161
-                           https://www.microsoft.com/typography/fonts/product.aspx?PID=164) */
-                 "Microsoft YaHei", /* Windows */
-                 "Heiti SC", /* iOS */
-                 serif;
-    font-size: 16px;
-    -webkit-font-smoothing: antialiased;
-    margin: 100px 0;
-}
-
-@media
-only screen and (-webkit-min-device-pixel-ratio: 1.25),
-only screen and ( min-device-pixel-ratio: 1.25),
-only screen and ( min-resolution: 200dpi),
-only screen and ( min-resolution: 1.25dppx) {
-    -webkit-font-smoothing: subpixel-antialiased;
-}
-
-#archival-notice {
-    position: absolute;
-    top: 30px;
-    left: 0;
-    right: 0;
-    margin: 0 auto;
-    text-align: center;
-    color: red;
-}
-
-.nav {
-    position: fixed;
-    left: 5%;
-    top: 90px;
-    height: 150px;
-    width: 100px;
-    text-align: center;
-}
-
-.nav-icon {
-    display: block;
-    margin: 2px auto;
-    width: 100px;
-    height: 100px;
-    border-radius: 50%;
-    background: #ddd;
-    line-height: 100px;
-    text-align: center;
-    text-decoration: none;
-    font-size: 0;
-}
-
-.nav-icon:before {
-    content: "ZW";
-    display: inline-block;
-    position: relative;
-    left: 2px;
-    font-family: "Helvetica Neue", Arial, sans-serif;
-    font-size: 35px;
-    font-weight: normal;
-    letter-spacing: 2px;
-    -webkit-font-smoothing: antialiased;
-    -moz-osx-font-smoothing: grayscale;
-    color: #fff;
-    transform: scale(1,0.95);
-    -webkit-transform: scale(1,0.95);
-    -moz-transform: scale(1,0.95);
-    -ms-transform: scale(1,0.95);
-    -o-transform: scale(1,0.95);
-}
-
-.nav-title {
-    font-size: 17px;
-    font-weight: bold;
-    margin: 2px 0 1px 0;
-    text-decoration: none;
-}
-
-.nav-title:before {
-    content: "dl? cmplnts?";
-}
-
-.nav-author {
-    font-size: 13px;
-    text-decoration: none;
-}
-
-.nav-author:before {
-    content: "by Zhiming Wang";
-}
-
-.content, .content-separator, .footer {
-    width: 60%;
-    margin: 0 auto;
-}
-
-hr {
-    border: 0;
-    height: 1px;
-    background: #888;
-}
-
-.content-separator {
-    margin: 15px auto 3px auto;
-}
-
-.content {
-    text-align: justify;
-}
-
-h1 {
-    text-align: center;
-    font-size: 160%;
-    font-weight: bold;
-}
-
-h2 {
-    text-align: center;
-    font-size: 125%;
-    font-weight: bold;
-}
-
-.article-metadata {
-    text-align: center;
-    font-size: 100%;
-    font-weight: normal;
-    margin: 1em 0;
-}
-
-a {
-    color: inherit;
-    word-wrap: break-word;
-}
-
-code {
-    font-size: 90%;
-    color: #333;
-    font-family: Courier, monospace;
-    white-space: pre-wrap;
-    word-wrap: break-word;
-}
-
-h1 code, h2 code {
-    font-size: 95%;
-    color: #000;
-}
-
-pre {
-    overflow-x: scroll;
-    padding: 1em;
-    background: #fbfbfb;
-    border-left: 0.4em solid #ddd;
-}
-
-/* Pandoc wraps pre[class*=sourceCode] in a div tag, so it is necessary to
-eliminate the margins of such pre tags to avoid too much spacing.*/
-pre[class*=sourceCode] {
-    margin: 0;
-}
-
-pre code {
-    font-size: 85%;
-    color: #000;
-    white-space: pre;
-    word-wrap: normal;
-}
-
-ol {
-    padding-left: 20px;
-}
-
-ul {
-    padding-left: 16px;
-}
-
-blockquote {
-    margin: 0;
-    padding: 0 1em;
-    font-style: italic;
-    border-left: 0.4em solid #ddd;
-}
-
-img {
-    display: block;
-    max-width: 100%;
-    margin: 5px auto;
-}
-
-.figure {
-    text-align: center;
-}
-
-.figure img {
-    display: inline;
-    margin: 0 0 5px 0;
-}
-
-.figure .caption {
-    width: 80%;
-    margin: auto;
-    font-size: 90%;
-}
-
-sup {
-    font-size: 11px;
-    margin: 0 0 0 1px;
-}
-
-noscript {
-    color: #999;
-}
-
-noscript a {
-    color: #999;
-}
-
-.footnotes {
-    font-size: 90%;
-}
-
-.footnotes ol {
-    padding-left: 1.4em;
-}
-
-.footnotes p {
-    margin: 0.6em 0;
-}
-
-.footnotes-backlink {
-    margin-left: 0.2em;
-    vertical-align: -0.2em;
-    color: #bbb;
-    text-decoration: none;
-}
-
-.footnotes-backlink:hover {
-    background-color: #bbb;
-    color: #fff;
-}
-
-.lfooter {
-    float: left;
-}
-
-.lfooter .updated:before {
-    content: "Last updated: "
-}
-
-.rfooter {
-    float: right;
-}
-
-.rss-icon, .atom-icon, .cc-icon {
-    text-decoration: none;
-    position: relative;
-    top: 1px;
-}
-
-.rss-icon, .atom-icon {
-    margin: 0 3px;
-}
-
-.cc-icon {
-    margin: 0 1px;
-}
-
-.rss-icon:before, .atom-icon:before {
-    content: "\e800";
-    font-family: fontello;
-    font-size: 105%;
-}
-
-.rss-icon:before {
-    display: inline-block;
-    transform: scale(-1,1);
-    -webkit-transform: scale(-1,1);
-}
-
-.cc-icon:before {
-    content: "\e801";
-    font-family: fontello;
-    font-size: 95%;
-}
-
-/*** Wide screen ***/
-
-@media screen and (min-width: 1441px) {
-    .content, .content-separator, .footer {
-        width: 50%;
-    }
-}
-
-/*** Narrow screen ***/
-
-@media screen and (max-width: 1023px) {
-    body {
-        margin: 40px 0 100px 0;
-    }
-
-    .nav {
-        position: static;
-        width: 100%;
-        height: 150px;
-        margin: 80px 0 20px 0;
-    }
-
-    .nav-icon {
-        width: 150px;
-        height: 150px;
-        line-height: 150px;
-    }
-
-    .nav-icon:before {
-        font-size: 54px;
-    }
-
-    .nav-title, .nav-author {
-        height: 0;
-        width: 0;
-        visibility: hidden;
-        pointer-events: none;
-    }
-
-    .content, .content-separator, .footer {
-        width: 80%;
-    }
-}
-
-/*** Ultranarrow screen ***/
-
-@media screen and (max-width: 500px) {
-    .content, .content-separator, .footer {
-        width: 90%;
-    }
-
-    .blog-index-yearly-index {
-        margin-left: 0;
-    }
-
-    .blog-index-post-date {
-        width: 4em;
-    }
-}
-
-/*** Print ***/
-
-@media print {
-    body {
-        margin: 5% 0;
-        font-size: 12px;
-    }
-
-    sup {
-        font-size: 0.5em;
-        top: -1em;
-    }
-
-    pre {
-        -webkit-print-color-adjust: exact;
-    }
-
-    .content, .content-separator, .footer {
-        width: 90%;
-    }
-
-    .nav, .rss-icon, .atom-icon, .cc-icon, #archival-notice {
-        display: none;
-    }
-}