/*<style type="text/css">*/
body { background-color: #CCFFFF;}
div { margin-left: 10%; margin-right: 10%;}
h1 { font-size: large; text-align: center; margin-top:2px;}
input { font-size: 12pt; }
.s1 { border-style: double; border-width: 4px; border-color: blue; }
.s2 { color: blue; font-weight: bold; }
.s3 {  border-style: solid;; border-width: 1px; border-color: blue; }
.R { color: red; }
/*</style>*/