body {
		font-size: large;
		font-family:Lucida Sans Unicode, sans-serif;
		margin-left: 2em;
	}
	
	h2 ,h3 {
		text-decoration: underline;
	}
	
	h3 {
		margin-top: 2em;
	}
	
	img.ikon {
		position: relative;
		top: 0.4em;
		left: 0.4em;
		height: 1.5em;
		width: 1.5em;
	}
	
	img.smiley {
		position: relative;
		top: 0.6em;
		left: 0.4em;
		height: 2em;
		width: 2em;
	}
	
	select {
		font-size: large;
		font-family:Lucida Sans Unicode, sans-serif;
		background-color: aliceblue;
		border: 1px solid black;
		border-radius: 4px;
		text-align: center;
	}
	
	input[type=button] {
		font-size: large;
		font-family:Lucida Sans Unicode, sans-serif;
		background-color: aliceblue;
		border: 1px solid black;
		border-radius: 4px;
		text-align: center;
		margin-left: 2em;
	}
	
	input[type=text] {
		font-size: large;
		font-family: Lucida Sans Unicode, sans-serif;	
		background-color: lemonchiffon;
		border: 1px solid black;
		border-radius: 4px;
		text-align: center;
	}
	
	
	



	

	

	ol.betus {
		counter-reset: betuslista;
	}

	ol.betus>li {
		list-style-type:none;
		margin-left: -1em;
		margin-top: 1em;
		margin-bottom: 1.5em;
	}
	
	ol.betus>li:before
	{
		font-style: normal;
		display: inline-block;
		content: "(" counter(betuslista,lower-alpha) ") \00A0" ;
		counter-increment: betuslista;	
	}
	
	ul.tulajdonsagok>li {
		margin-left: -1em;
		margin-top: 1em;
		margin-bottom: 1.5em;
	}
	
	div.kerdes {
		margin-left: 4ch;
		margin-top: 0.2em;
	}
	
	div.vonal {
		border-top: 1px solid black;
		margin-top: 2em;
		margin-bottom: 2em;
	}
	
	
	
	/* for isomorphism */

	h2.cim {
		text-align: center;
	}
	
	
	
	table  {
		border-collapse: collapse;
	}
	
	
	table.container {
		border: 0px solid black;
		margin: 0 auto;
	}
	
	td.container {
		border: 0px solid black;
		padding: 1em;
	}

	td.letter {
		font-size: 200%;
		text-align: right;
		font-weight: 900;
	}
	
	td.inside, td.headingrow, td.headingcol, td.symbol, td.choosecolor, td.setcolor {
		width: 2.5em;
		height: 2.5em;
		text-align: center;
	}
	
	td.inside {
		border: 1px solid white;
	}
	
	td.headingrow {
		border: 1px solid white;
		border-bottom: 2px solid black;
	}
	
	td.headingcol {
		border: 1px solid white;
		border-right: 2px solid black;
	}
	
	td.symbol {
		border: 1px solid white;
		border-right: 2px solid black;
		border-bottom: 2px solid black;
	}
	
	
	.colormainx {
		background-color: white;
		color: black;
	}
	
	.colormain0 {
		background-color: #0099ee;
		color: white;
	}
	
	.colormain1 {
		background-color: #00aa00;
		color: white;
	}
	
	.colormain2 {
		background-color: #ee4444;
		color: white;
	}
	
	.colormain3 {
		background-color: #ff8800;
		color: white;
	}
	
	.colormain4 {
		background-color: #bb00ee;
		color: white;
	}
	
	.colorx {
		background-color: white;
		color: black;
	}
	
	.color0 {
		background-color: #0099ee;
		color: white;
	}
	
	.color1 {
		background-color: #00aa00;
		color: white;
	}
	
	.color2 {
		background-color: #ee4444;
		color: white;
	}
	
	.color3 {
		background-color: #ff8800;
		color: white;
	}
	
	.color4 {
		background-color: #bb00ee;
		color: white;
	}
	
	div.container {
		display: block;
		border: 0px solid green;
		padding: 2em;
		text-align: center;
	}
	
	table.operationtable	{
		display: inline-block;
		border: 0px solid red;
		padding: 0em;
		margin-right: 3em;
	}
	
	td.setcolor {
		visibility: hidden;
		outline: 2px solid white;
	}
	
	td.choosecolor {
		outline: 2px solid white;
	}