Update dependency: web/k-web-theme - #343

Closed

rv-jenkins wants to merge 13 commits into

_update-deps_runtimeverification_k-web-theme

Commits on Mar 17, 2022

web/k-web-theme: b458d14 - Support to embed local images and added markdown-it-attrs (#15)
rv-jenkins
committed
676d7e9

Commits on Mar 23, 2022

web/k-web-theme: 6726742 - Fixed some styles (in dark mode) (#16)
rv-jenkins
committed
b1f82cb

Commits on Mar 24, 2022

web/k-web-theme: e006638 - fix: Updated the nix server IP (#17)
rv-jenkins
committed
53133a4

Commits on May 30, 2022

web/k-web-theme: 71d367f - Feat/sidebar toc generation (#18)
rv-jenkins
committed
7976392

Commits on May 31, 2022

web/k-web-theme: 74ce339 - fix: Fixed a variable replace str bug (#19)
rv-jenkins
committed
529be6a

Commits on Aug 29, 2022

web/k-web-theme: f670742 - feat: Updated to node 16 and parcel 2 (#20)
rv-jenkins
committed
c677527
ci: Updated to nodejs 16
shd101wyy
committed
636078a

Commits on Oct 22, 2022

web/k-web-theme: 8aed71c - feat: Display code block selectors (#21)
rv-jenkins
committed
9070bc0

Commits on Dec 15, 2022

web/k-web-theme: 90531e0 - feat: Added footnote support (#22)
rv-jenkins
committed
f0fe7c9

Commits on Jan 27, 2023

web/k-web-theme: 7169707 - fixed links (#24)
rv-jenkins
committed
219ad53

Commits on Feb 10, 2023

web/k-web-theme: 5ff01fd - updated footer (#25)
rv-jenkins
committed
2aa6188

Commits on Mar 1, 2023

web/k-web-theme: e34a88a - Supported line numbers (#27)
rv-jenkins
committed
fce489e

Commits on Apr 10, 2023

web/k-web-theme: dffeb9c - update adress (#28)
rv-jenkins
committed
469d373