github.io by idrisfamily

/* ==UserStyle==
@name         github.io
@version      20230120.17.34
@namespace    userstyles.world/user/idrisfamily
@description  github.io large fonts
@author       idrisfamily
@license      No License
==/UserStyle== */
@-moz-document domain("github.io") {
	#preamble,
	p,
	body {
		font-family: "JuliaMono";
		font-size: 11pt;
	}
	
  code,
	pre,
	.hljs,
	pre code,
	code .hljs {
		font-family: "Victor Mono" !important;
		font-size: 11pt;
    font-weight: 550;
	}

	h1,
	h2,
	h3,
	h4,
	h5,
	h6 {
		font-family: "SF Pro Rounded"
	}
}