mirror of
https://github.com/mikaela/mikaela.github.io/
synced 2025-06-23 07:07:28 +02:00
Compare commits
No commits in common. "5e1c40a6363e16a118fe1aa99ad3e20c83d5684d" and "3682e3706ad56db0c54b953392bd61b80852054a" have entirely different histories.
5e1c40a636
...
3682e3706a
11
.prettierrc.json
Normal file
11
.prettierrc.json
Normal file
@ -0,0 +1,11 @@
|
|||||||
|
{
|
||||||
|
"bracketSameLine": true,
|
||||||
|
"endOfLine": "auto",
|
||||||
|
"plugins": [
|
||||||
|
"@prettier/plugin-xml",
|
||||||
|
"prettier-plugin-sh"
|
||||||
|
],
|
||||||
|
"proseWrap": "always",
|
||||||
|
"quoteProps": "consistent",
|
||||||
|
"singleAttributePerLine": true
|
||||||
|
}
|
@ -1 +1 @@
|
|||||||
Subproject commit 6fc3bb6e31c0ed69fb8b4f31621c743631cfcee8
|
Subproject commit 31564787d17701df26ecc5b3d44775ff0b714264
|
@ -35,9 +35,6 @@ robots: noai
|
|||||||
|
|
||||||
## Configuration for the new interface
|
## Configuration for the new interface
|
||||||
|
|
||||||
1. Set it from on to auto as [darkman](https://gitlab.com/WhyNotHugo/darkman/)
|
|
||||||
handles
|
|
||||||
[that](https://gitea.blesmrt.net/mikaela/shell-things/src/branch/master/local/share).
|
|
||||||
1. See all options
|
1. See all options
|
||||||
1. Colors
|
1. Colors
|
||||||
|
|
||||||
@ -47,7 +44,7 @@ robots: noai
|
|||||||
1. Font and more
|
1. Font and more
|
||||||
|
|
||||||
- Change font: yes
|
- Change font: yes
|
||||||
- Font name: `ui-serif, system-ui`, or whatever fits the situation. I just get
|
- Font name: `OpenDyslexic, ui-serif, system-ui, serif, emoji`
|
||||||
annoyed by other options.
|
|
||||||
|
|
||||||
In _Settings_ there is additionally _Detect dark theme_ option.
|
In _Settings_ there is additionally _Detect dark theme_ option which is nice,
|
||||||
|
but again disables font changing.
|
||||||
|
@ -1,7 +0,0 @@
|
|||||||
---
|
|
||||||
redirect_to:
|
|
||||||
permalink: /r/melatonin.html
|
|
||||||
redirect_from:
|
|
||||||
- /r/melatonine.html
|
|
||||||
sitemap: false
|
|
||||||
---
|
|
Loading…
x
Reference in New Issue
Block a user