index
:
jekyll-theme
master
redirect
My Jekyll theme
Egor Tensin
about
summary
refs
log
tree
commit
diff
stats
homepage
log msg
author
committer
range
path:
root
/
assets
(
follow
)
Commit message (
Expand
)
Author
Age
*
posts: separate feed entries with border
Egor Tensin
2022-03-22
*
bootstrap: boost font to 16px
Egor Tensin
2022-03-22
*
css: disable (?) fucking font boosting
Egor Tensin
2022-03-22
*
footer: switch implementation to flexbox
Egor Tensin
2022-03-22
*
css: move CSS files to jekyll-theme/
Egor Tensin
2022-03-22
*
index.html: make it actually pretty
Egor Tensin
2022-03-22
*
shell: border on the outer div
Egor Tensin
2022-03-22
*
refactor shell.css a bit
Egor Tensin
2022-03-21
*
shell: fix scrollbars
Egor Tensin
2022-03-21
*
shell: lighter command background
Egor Tensin
2022-03-21
*
add an include for shell commands & output
Egor Tensin
2022-03-21
*
color badges green
Egor Tensin
2022-03-21
*
posts: use CSS for space between category and date
Egor Tensin
2021-11-08
*
css: misc.css -> fix_bootstrap.css
Egor Tensin
2021-11-08
*
css: split misc.css
Egor Tensin
2021-11-08
*
Revert "bootstrap: make headers smaller still"
Egor Tensin
2021-11-08
*
posts: add gap between title and date
Egor Tensin
2021-11-08
*
posts: use proper flexbox for spacing
Egor Tensin
2021-11-08
*
bootstrap: make headers smaller still
Egor Tensin
2021-11-08
*
put post dates beside the headers
Egor Tensin
2021-11-08
*
snippets: fixup panel-body border corners
Egor Tensin
2021-06-05
*
change of heart: smaller font size for code is OK
Egor Tensin
2021-06-05
*
bundle modified Bootstrap 3
bundled_bootstrap
Egor Tensin
2021-06-05
*
add main.css that imports all others
Egor Tensin
2021-04-08
*
syntax.css: add the reference link
Egor Tensin
2021-04-08
*
remove everything except Jekyll theme stuff
Egor Tensin
2020-05-07