* { 
        line-height: 150%;
}

a img {
	border-width: 0
}

h1, h2, h3 {
	font-family: sans-serif;
}

.graph {
        float: right;
}

iframe {
        margin: 0px;
        border-width: 0px;
        padding: 0px;
}
				
hr { 
	clear: both;
}

.problem {
	border-width: 1px;
	border-style: solid;
	border-color: #f88;
	padding: 2ex 2ex;
        margin: 1ex 0ex;
}

.solution {
        padding: 0em 2ex;
        margin: .5ex 0ex;
}

div.condorlogo {
        padding: 3ex 0ex;
}

p {

}

pre {
	margin: .5ex 3ex;
	padding: 0.8ex;
        width: 50em;
	background-color: #eee;
        border: solid 1px silver;
}

html {
        min-width: 750px;
	max-width: 100ex;
}

li {
	max-width: 80ex;
}

body {
	margin: 0.25ex;
	padding: 2ex;
	background-color: white;
}

tt {
        background-color: #eee;
}