body.example

{

	margin: 15px;

	font-family: sans-serif;

}



body.example h1

{

	font-size: 1.2em;

}

body.example h2

{

	font-size: 1em;

}



a,

a:visited

{

	color: navy;

	text-decoration: none;

	font-size: small;

}

a:hover

{

	text-decoration: underline;

}



body.example p.description,

body.example p.sample-links

{

/*	border: thin solid gray; */

	background-color: #d0d0f0;

	padding: 5px;

	font-size: small;

}



p.version-info

{

	color: gray;

	font-size: 0.6em;

}

p.sample-links a,

p.sample-links a:visited

{

	color: navy;

	text-decoration: none;

	margin-left: 15px;

	padding: 1px 3px;

/*	border: 1pt solid white;*/

}



p.sample-links a:hover

{

	text-decoration: underline;

}



pre{

  background:#eee;

  border:1px solid #999;

  padding:.5em;

  margin:.5em;

  font-size:.9em;

}

