@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@500;700&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Lexend:wght@100..900&display=swap');

html {
    color: #434343;
	background-color: #f3f3f3;
	text-align: justify;
	margin: 0;
    padding: 40px;
	overflow-x:hidden;
	/* overflow-y:hidden; */
	font-family: 'Roboto Mono', monospace;
	font-size: 10pt;
    max-width: 800px;
    margin: auto;
}

h1, h2 {
    color :#674ea7;
    font-family : 'Lexend', sans-serif;
}

.red {
    color: #e06666;
}
.blue {
    color: #6fa8dc;
}
.orange {
    color: #d56f2f;
}

th {
    padding: 20px;;
}