* {
	font-size: large;
}

#ex00 {
	width: 50%;
	margin-left: auto;
	margin-right: auto;
}

div {
	margin-bottom: 20px;
	padding: 10px;
}
div.parameters {
	background-color: lightblue;
}
div.privateKey {
	background-color: lightpink;
}
div.publicKey {
	background-color: lightgreen;
}
div.peerKey {
	background-color: lightgreen;
}
div.sharedSecret {
	background-color: lightpink;
}
div.caesar {
	background-color: lightyellow;
}

.super {
	vertical-align: super;
	font-size: smaller;
}

.strong {
	font-weight: bold;
}
.em {
	font-style: italic;
}
h1,h2,h3 {
	margin: 0px;
	padding: 0px;
	text-align: center;
}
h3 {
	font-size: smaller;
}