Skip to content

Conversation

pull[bot]
Copy link

@pull pull bot commented Jan 5, 2022

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot added ⤵️ pull merge-conflict Resolve conflicts manually labels Jan 5, 2022
sighingnow and others added 20 commits January 22, 2022 16:51
To make sure the search link works.

Signed-off-by: Tao He <[email protected]>
Resolves #17.

Signed-off-by: Tao He <[email protected]>
marc-portier and others added 30 commits August 8, 2023 12:03
Feature slightly enhanced social share support
introduce custom-local-css for easy extending in a remote-theme setting
The original line is to fixes #56, but actually this issue
was fixed by e758bc8 (for #70).

Resolves #93.

Signed-off-by: Tao He <[email protected]>
Follow-up work for 2075f8e.

Resolves #93.

Signed-off-by: Tao He <[email protected]>
so to get the order correct, we have to include the -local.css from the html directly
Closes #98.

Signed-off-by: Tao He <[email protected]>
Resolves #99.

Signed-off-by: Tao He <[email protected]>
Signed-off-by: Tao He <[email protected]>
Try to fix the expender such that only direct children are expanded
refactor: Update padding of info, warning, and danger blocks.
enable toc for index page
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
⤵️ pull merge-conflict Resolve conflicts manually
Projects
None yet
Development

Successfully merging this pull request may close these issues.

10 participants