div.paper {
background: rgb(255,255,255);
font-size: 110%;
font-family: "Times New Roman";
color: rgb(0,0,0);
padding: 0.5em;
border: none;
}
p {margin-top: 0;
margin-bottom: 0;}
p.fig {margin-top: 2em;
margin-bottom: 2em;}
p.for {margin-top: 1em;
margin-bottom: 1em;}
h3 {
background-color: rgb(236,228,197);
}