/* start css.sty */
.cmmi-10{font-style: italic;}
.cmr-9{}
.cmbx-9{ font-weight: bold;}
.cmti-9{ font-style: italic;}
.cmti-10{font-style: italic;}
body { 
	width: 96%;
	margin-left: auto; 
	margin-right: auto; 
}
main{
	font-size:120%;
}
p{margin-top:1;margin-bottom:1;} 

a:link{
	color: #22b;
	text-decoration: none;
}
a:visited{
	color: #60b;
	text-decoration: none;
}

/*for on mobile formatting*/
@media only screen and (-webkit-min-device-pixel-ratio: 1.5), 
       only screen and (min-device-pixel-ratio: 1.5),
       only screen and (min-resolution: 200dpi){
	body{
		max-width:auto;
		margin-left:4%;
		margin-right:4%;
		width:auto; 
	}
	main{
		margin-left:2%;
		margin-right:2%;
		font-size:2.5em;
		max-width:auto;
		width:auto; 
/* 		background-color: #aaf;  */
	}
	marginpar, .marginpar {
		display: block;
		float: none;
		margin: 1% 2% 1% 2%;
		width: auto;
		font-size: 90%;
		color: #769;
	}
}
/* For wide desktop windows */
@media (-webkit-max-device-pixel-ratio: 2.0) and (min-width: 900px){
	body{
		max-width: 882px; /* main width * 1.26 */
	}
	main{
		max-width: 700px;
		margin-left:auto;
		margin-right:26%;
		font-size:120%;
/* 		background-color: #afa; /* green */ */
	}
	marginpar, .marginpar {
	display: inline;
	float: right;
	position: relative;
	width: 24vw;
	margin-right: -25vw;
	color: #769;
	} 
}
/* For narrow desktop windows */
@media (-webkit-max-device-pixel-ratio: 2.0) and (max-width: 900px){ 
	body { 
		width: 96%;
		margin-left: auto; 
		margin-right: auto; 
	}
	main{
		/*width: 60%;*/
		margin-left:auto;
		margin-right:auto;
		font-size:120%;
/* 		background-color: #faa; /* red */ */
	}
	marginpar, .marginpar {
		display: block;
		float: none;
		margin: 1% 2% 1% 2%;
		width: auto;
		font-size: 90%;
		color: #769;
	}
}