.markering {
	/* Brukes på markeringsspråksyntaks (HTML, XML, SGML) */
	font-family: monospace;
	color: green;
	/* white-space: nowrap; */
}

.begrep {
	/* Introduksjon/definisjon av et begrep */
	font-weight: bold;
}

.verdi {
	/* Verdien av et element eller attributt */
	color: red;
}

.obs {
	/* Brukes på tekstområder som skal kommenteres under
	   forelesningen, typisk i XML- eller HTML-tekstblokker */
	color: red;
}

.ustrukturert {
	/* Brukes for ustrukturerte tekstområder */
	font-family: monospace;
	color: black;
}

.tag {
	/* Brukes når start- og slutt-tagger skal markeres spesielt */
	color: red;
}

.element, .attributt {
	/* Element- og attributtnavn */
	font-style: italic;
}

.serif {
	font-family: serif;
}

.sans_serif {
	font-family: sans-serif;
}

.monospace {
	font-family: monospace;
}

/* Eksemplifisering av CSS-fargene */
.aqua {
	color: aqua;
}

.black {
	color: black;
}

.blue {
	color: blue;
}

.fuchsia {
	color: fuchsia;
}

.gray {
	color: gray;
}

.green {
	color: green;
}

.lime {
	color: lime;
}

.maroon {
	color: maroon;
}

.navy {
	color: navy;
}

.olive {
	color: olive;
}

.purple {
	color: purple;
}

.red {
	color: red;
}

.silver {
	color: silver;
}

.teal {
	color: teal;
}

.white {
	color: white;
}

.yellow {
	color: yellow;
}

.eksempel, .retningslinje, .wai {
	/* border: thin dotted; */
	font-weight: bolder;
	padding: 0.5em;
	margin: 0.5em;
	color: black;
	/* background: #FFFACD; */
}

.wai {
	font-size: 0.5em;
}

.forklaring {
	font-size: 0.8em;
}

.markeringCopy { 
	font-family: monospace; 
	color: green; 
	font-size: small
}

