}

html,
body {
	font-size: 100%;
}

body {
	background: var(--white-color);
	color: var(--num-color);
	padding: 0;
	margin: 0;
	font-family: "Noto Serif", "DejaVu Serif", serif;
	font-weight: normal;
	font-style: normal;
	line-height: 1;
	position: relative;
	cursor: auto;
}

a:hover {
	cursor: pointer;
}

img,
object,
embed {

 * properties used in this stylesheet.
 */
:root {
    /* body, block and code fonts */
    --body-font-family: Lato, Arial, Helvetica, sans-serif;
    --block-font-family: Lato, Georgia, "Times New Roman", Times, serif;
    --code-font-family: monospace;
    /* Base font sizes for body and code elements */
    --body-font-size: 14px;
    --code-font-size: 14px;