Fix formatting on prettier & fix typo

Author: ustcljh

docs/dev/library.md

@@ -57,7 +57,7 @@ int square(int x)
 }
 ```
 
-对应的，需要在头文件 `square.h` 中加入这个函数的原型 (prototype)
+对应的，需要在头文件 `square.h` 中加入这个函数的原型 (prototype)：
 
 ```c
 int square(int x);

mkdocs.yml

@@ -96,56 +96,56 @@ nav:
   - 章节编写指导: spec/writing.md
   - 贡献者: spec/contributors.md
   - 运维基础:
-      - ops/index.md
-      - 检查单: ops/checklist.md
-      - 服务器介绍: ops/server.md
-      - 包管理系统: ops/package.md
-      - 服务与日志管理: ops/service.md
-      - 存储系统:
-          - ops/storage/index.md
-          - 基础知识简介: ops/storage/intro.md
-          - 分区与文件系统: ops/storage/filesystem.md
-          - LVM: ops/storage/lvm.md
-          - RAID: ops/storage/raid.md
-          - 网络存储系统: ops/storage/network.md
-          - 备份与文件传输工具: ops/storage/backup.md
-          - ZFS: ops/storage/zfs.md
-      - 网络系统:
-          - ops/network/index.md
-          - 基础知识简介: ops/network/intro.md
-      - 网络服务实践:
-          - ops/network-service/index.md
-          - 网络时间同步: ops/network-service/ntp.md
-          - 隧道组网: ops/network-service/intranet.md
-          - Nginx: ops/network-service/nginx.md
-          - Zeroconf: ops/network-service/zeroconf.md
-      - 数据库:
-          - ops/database/index.md
-          - 关系型数据库: ops/database/rdbms.md
-          - 键值数据库: ops/database/kv.md
-      - 问题调试: ops/debug.md
-      - 虚拟化技术:
-          - ops/virtualization/index.md
-          - 基础知识简介: ops/virtualization/intro.md
-          - 容器: ops/virtualization/container.md
-          - QEMU/KVM: ops/virtualization/qemu-kvm.md
-      - 用户账户系统: ops/accounts.md
-      - 指标监控与告警:
-          - ops/monitor/index.md
-          - 本机指标收集: ops/monitor/local.md
-          - Telegraf + InfluxDB: ops/monitor/telegraf.md
-          - Prometheus: ops/monitor/prometheus.md
-          - Grafana: ops/monitor/grafana.md
-      - 安全: ops/security.md
+    - ops/index.md
+    - 检查单: ops/checklist.md
+    - 服务器介绍: ops/server.md
+    - 包管理系统: ops/package.md
+    - 服务与日志管理: ops/service.md
+    - 存储系统:
+      - ops/storage/index.md
+      - 基础知识简介: ops/storage/intro.md
+      - 分区与文件系统: ops/storage/filesystem.md
+      - LVM: ops/storage/lvm.md
+      - RAID: ops/storage/raid.md
+      - 网络存储系统: ops/storage/network.md
+      - 备份与文件传输工具: ops/storage/backup.md
+      - ZFS: ops/storage/zfs.md
+    - 网络系统:
+      - ops/network/index.md
+      - 基础知识简介: ops/network/intro.md
+    - 网络服务实践:
+      - ops/network-service/index.md
+      - 网络时间同步: ops/network-service/ntp.md
+      - 隧道组网: ops/network-service/intranet.md
+      - Nginx: ops/network-service/nginx.md
+      - Zeroconf: ops/network-service/zeroconf.md
+    - 数据库:
+      - ops/database/index.md
+      - 关系型数据库: ops/database/rdbms.md
+      - 键值数据库: ops/database/kv.md
+    - 问题调试: ops/debug.md
+    - 虚拟化技术:
+      - ops/virtualization/index.md
+      - 基础知识简介: ops/virtualization/intro.md
+      - 容器: ops/virtualization/container.md
+      - QEMU/KVM: ops/virtualization/qemu-kvm.md
+    - 用户账户系统: ops/accounts.md
+    - 指标监控与告警:
+      - ops/monitor/index.md
+      - 本机指标收集: ops/monitor/local.md
+      - Telegraf + InfluxDB: ops/monitor/telegraf.md
+      - Prometheus: ops/monitor/prometheus.md
+      - Grafana: ops/monitor/grafana.md
+    - 安全: ops/security.md
   - 开发速查手册:
       - dev/index.md
       - 编程语言概览:
-          - dev/language/index.md
-          - 前端简介: dev/language/frontend.md
-          - Python: dev/language/python.md
-          - C/C++ 与构建工具: dev/language/cxx.md
-          - Shell 脚本: dev/language/shell.md
-          - Golang: dev/language/golang.md
+        - dev/language/index.md
+        - 前端简介: dev/language/frontend.md
+        - Python: dev/language/python.md
+        - C/C++ 与构建工具: dev/language/cxx.md
+        - Shell 脚本: dev/language/shell.md
+        - Golang: dev/language/golang.md
       - 版本管理与合作: dev/git.md
       - SSH 使用技巧: dev/ssh.md
       - Linux 上的链接库: dev/library.md