KSimple

Ksimple 是在 hugo-xmin 和 hugo-admonitions 基础上稍作修改的一个 hugo 主题。比较简单，可能更适合个人使用，因此没有单独发布的打算。

基本语法展示

Bold， Italic， Highlight， Delete，⛺，😘， Inline Code， \(x^2 + y^2 = 1\)，

Reference¹, Reference2²

this is a blockquote

#include<iostream>
using namespace std;
int main(){
    cout<<"hello hugo\n";
    return 0;
}

- hallo
+ hello

• list

1. item

• todo
• todo

图片排版

借用超链接实现浮动

[<<img src="xxx" alt="" style="max-width: 50%; float:right;">>]()

效果看上面那个 github 头像即可

div flex

<div style="display: flex; gap: 2px; justify-content: center">
    <img src="aaa" alt="" style="max-width: 50%;">
    <img src="bbb" alt="" style="max-width: 50%;">
</div>

TODO: 定制 Shotcode

PlantUML 代码块自动渲染

类图

@startuml
interface Scriptable{
    toSmtLib():String
}

class SmtScript{
    -functions:List<Function>
    -addFunction(Function):void
}

abstract class Expr{
    -node:ASTRootNode
    -children:List<Expr>
}

enum ConstExpr
class CompoundExpr{
    +getOp():String
}
struct ComplexExpr{
    -format:String
}

class Function{
    - funcName:string
    - args:List<Pair<String,String>>
    - returnType:String
    - funcBody:Expr
}

Scriptable <|.. SmtScript
Scriptable <|.. Function
Scriptable <|.. Expr
Expr <|-- ConstExpr
Expr <|-- CompoundExpr
Expr <|-- ComplexExpr

Expr <-- Function

SmtScript "1"-->"1..*" Function
@enduml

活动图

@startuml
actor 用户 as user
participant PtolemyII as ptii
participant 验证选项配置器 as config
participant 模型解与预校验器 as parser
participant 形式化验证器 as verifier

user -> ptii++: 打开PtolemyII建模工具
ptii->ptii: 打开/创建模型
return 模型持久化XML文件

user -> config++: 配置验证选项，启动验证过程
config -> parser--++: 解析与校验模型

alt 校验失败
    parser --> user: 返回校验错误信息
else 校验通过
    parser -> verifier--++: 启动形式化验证
    verifier -->user--: 返回验证结果
end

@enduml

ebnf

@startebnf
Type = PrimitiveType | ReferenceType;
PrimitiveType = [Annotation], (NumericType | boolean );
@endebnf

……

目录

暂时不打算给博客添加目录

Callout 块展示

GitHub Test

Callout Overview

function fetchData() {
  return axios.get("/api/data");
}

def hello_world():
    print("Hello, World!")

Customization

Choose a callout you prefer and add a title

Header Only Mode

You can choose to only to show the header!