No description
https://ionathan.ch
This repository has been archived on 2025年08月14日 . You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
- HTML 83.1%
- CSS 6.8%
- Agda 4.5%
- SCSS 2.4%
- TeX 1.7%
- Other 1.5%
⚠️ This repository has moved to ionchy.srht.site. ⚠️
Building and deployment
- Install Ruby
- Install dependencies with
make install - Build site with
make buildor serve site locally withmake - Deploy site with
make deploy
Theme changes to Hydeout
Most of these changes are marked with a comment indicating where the original was modified.
- Added profile picture to
_includes/sidebar.html - Removed category links with blank
_includes/category-links.html - Removed related posts with blank
_includes/related_posts.html _includes/custon-icon-links.htmlcontains an icon_includes/custom-head.htmladds Open Graph meta tags and alternate tab titletab_title_includes/font-includes.htmlremoves loaded font from Hydeout theme- NEW:
_includes/image.htmlprovides anincludethat adds image captions below images - NEW:
_includes/carousel.htmlprovides anincludefor multiple captioned images scrolling horizontally - NEW:
blog/index.htmlis a page containing blog posts, with a list of categories copied from_layouts/category.html - NEW:
category/index.htmlis a hidden placeholder page with a list of categories copied from above - NEW:
_layouts/category.htmlis a page containing blog posts of the given category - NEW:
assets/css/fonts.scssloads fonts if not present locally - NEW:
_layouts/bibtex.htmldisplays a BibTeX entry as a code block - NEW:
_layouts/redirect.htmlredirects topage.redirect - Moved pagination buttons to below page content in
_layouts/index.html - Added option to display longer page title than in the sidebar to
_layouts/page.htmlusinglong_title - Added option to display longer post title than in post listing to
_layouts/post.htmlusinglong_title - Added option to not list post in blog using
unlisted: true - Added image caption styling, custom fonts, and widened column in
assets/css/main.scss
Special assets
- Sidebar profile picture: Add the relative path of the image to
_config.ymlunderprofile - Rouge theme: Run
rougify style [theme] > assets/css/syntax.css(currentlythankful_eyes)
Images with captions
To add an image with a caption, use the following code, replacing the content within the [brackets]:
{% include image.html
img="[relative path to image]"
caption="[caption]"
title="[hovertext]"
url="[URL]" %}