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
(
unfollow
)
Commit message (
Expand
)
Author
2022-03-23
shell: adjust for recent font size increase
Egor Tensin
2022-03-23
posts: increase bottom margin for feed entries
Egor Tensin
2022-03-23
posts: add bottom margin to feed entries
Egor Tensin
2022-03-22
css: fix cursor on disabled list group items
Egor Tensin
2022-03-22
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-21
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
2021-11-08
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-06-05
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-04-08
add main.css that imports all others
Egor Tensin
2021-04-08
syntax.css: add the reference link
Egor Tensin
2020-05-07
remove everything except Jekyll theme stuff
Egor Tensin