|
109ff6ce95
|
Expand sidenotes inline in print
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-24 19:42:47 -07:00 |
|
|
99247db83d
|
Disable margin content in print
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-24 19:41:36 -07:00 |
|
|
ce4161db0d
|
Switch it to a block comment
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-24 19:26:44 -07:00 |
|
|
2c57790c59
|
Add a comment describing the feather situation
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-24 19:26:15 -07:00 |
|
|
a622d4d77c
|
Add a border around images in figures
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-23 17:24:14 -07:00 |
|
|
7e8a89ccd2
|
Make fullwide images actually fullwide
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-23 13:54:08 -07:00 |
|
|
7b3ef86744
|
Write up and down arrows on internal links to headings
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-23 13:52:43 -07:00 |
|
|
9abee96bd2
|
Fix double-used navigation ID and odd centering issue
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:28:49 -07:00 |
|
|
f677a3731c
|
Add a series nav shortcode to display navigation early
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 22:03:33 -07:00 |
|
|
e431a4f22b
|
Add an external link marker to external links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-19 17:30:46 -07:00 |
|
|
97e965feec
|
Add a nicer comment color in dark mode
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-27 18:57:58 -07:00 |
|
|
3ccb5e8c65
|
Nicely stylize links in code blocks
This is mostly for Agda rendering.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-22 15:25:42 -07:00 |
|
|
b9a91e76ce
|
Highlight linked paragraphs
|
2024-05-21 19:04:34 -07:00 |
|
|
00431109ac
|
Improve the series navigation links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 00:34:52 -07:00 |
|
|
e4dccd4f48
|
Add support for series navigation links
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-20 00:27:25 -07:00 |
|
|
e2fb9362f6
|
Tweak formattng of tables
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 20:32:22 -07:00 |
|
|
9b9a6dca5f
|
Decorate blockquotes a bit
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-03-11 15:50:22 -07:00 |
|
|
4a5dfac221
|
Tweak code CSS a bit to make it nicer
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-02-02 21:05:26 -08:00 |
|
|
991cccb9f6
|
Make button contrast not burn your eyes.
|
2023-12-30 16:31:16 -08:00 |
|
|
0502cf93b6
|
Move link transitions into however effects to avoid transition from browser default color.
|
2023-12-30 16:15:40 -08:00 |
|
|
5aa54c1ce4
|
Extract input style to common CSS and remove raw uses of var(--x).
The mixin handles the fallback gracefully on browsers where it's not
supported.
|
2023-11-27 22:17:23 -08:00 |
|
|
abb137514b
|
Tweak the highlight CSS to include more classes.
Specifically, 'kd' (declaration keyword) and 'cm' (multiline comment)
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-24 11:03:49 -08:00 |
|
|
502190055d
|
Add a details shortcode
|
2023-06-04 21:54:08 -07:00 |
|
|
7e3099aae3
|
Make the keywords not grey on dark mode
|
2023-05-04 21:01:56 -07:00 |
|
|
926504ae07
|
Fix up search CSS a bit more
|
2023-04-09 22:52:22 -07:00 |
|
|
05f49998e7
|
Try fix text search on under dark mode
|
2023-04-09 22:32:16 -07:00 |
|
|
5202c57e2b
|
Fix highlighted code lines in dark mode
|
2023-03-11 14:56:46 -08:00 |
|
|
0bd55bc58a
|
Add fallbacks to CSS variables for older browsers
|
2023-03-11 14:07:43 -08:00 |
|
|
c631be65bc
|
Tentatively add a dark mode
|
2023-03-11 12:08:45 -08:00 |
|
|
9594b699f8
|
Tweak the series status style
|
2023-02-19 15:10:25 -08:00 |
|
|
7b684a18a9
|
Tweak series marker colors
|
2023-01-31 18:54:08 -08:00 |
|
|
5f1871e11c
|
Make post subscripts no longer grey
|
2023-01-31 17:57:18 -08:00 |
|
|
115057d837
|
Start working on series pages
|
2023-01-31 17:43:05 -08:00 |
|
|
efa9da8cd1
|
Make table of contents lines wrap
|
2023-01-01 14:32:21 -08:00 |
|
|
98ee4bd8f3
|
Add i18n support to the theme
|
2023-01-01 12:26:37 -08:00 |
|
|
869f9d12c8
|
Add a shortcode for folding rows of a table on small screens
|
2022-09-10 17:20:54 -07:00 |
|
|
c5a28bf7ef
|
Add a new block shortcode
|
2022-09-10 12:32:10 -07:00 |
|
|
5869d99db1
|
Tweak dialog styles a bit
|
2022-08-28 19:09:19 -07:00 |
|
|
3858441c89
|
Add a WIP dialog shortcode
|
2022-07-02 16:15:21 -07:00 |
|
|
8f3b0b967b
|
Add KaTeX font reset
|
2022-03-27 18:52:53 -07:00 |
|
|
f4d4f4e5d7
|
Highlight cliked anchor on the page.
|
2022-01-01 20:12:50 -08:00 |
|
|
fadf72c180
|
Update search to match new stork HTML
|
2021-12-03 00:34:58 -08:00 |
|
|
94c285a2f1
|
Extract website theme into its own repository
|
2021-04-15 01:37:18 -07:00 |
|