body { margin-left: 10%; margin-right: 10%; }

h1 { text-align: center; color: navy; }
h2,h3 { text-align: left; text-decoration: none; color: navy; }
h1,h2,h3,h4,h5,p,ul,li { font-family: sans-serif; }

p, ul, li { color: navy; }

tt { font-weight: bold; font-family: monospace; font-style: normal; }
.var_name { font-weight: bold; font-family: monospace; font-style: normal; font-size: large; }
em.bold { font-weight: bold; font-style: normal; }

code { font-weight: bold; font-family: monospace; font-style: normal; font-size: larger }

td { color: navy; font-family: sans-serif; }
th { color: navy; font-size: medium; font-family: sans-serif; }

p.h1 { font-weight: bold; }
p.h2 { font-weight: bold; margin-left: 10%; }
p.h3 { font-weight: bold; margin-left: 20%; }

.change { color: red }
.biglink { font-size: large }