body { 
   position: relative;
   padding: 0pt;
   margin-top: 0pt;
   background: #b0e2ff;
   font-family: Arial,sans-serif;
   font-weight: normal;
   font-style: normal;
}

div#content {
   position: absolute; 
   left: 20px;
   right: 150px;
   top: 150px;
   padding: 10px;
   background:  #BBEEFF;
}

div#cornerimg {
   position: fixed;
   bottom: 20px;
   right:20px;
}

h1 {
  text-align: center;
  color: #4400AA;
  font-size: 200%;
}

h1 span {
  border-bottom: solid 1px #333333;
}

h2 span {
  text-align: left;
  color: #4400AA;
  font-size: 120%;
  font-weight: bold;
  padding: 2px;
}

a {
  text-decoration: none;
}

a strong {
  color: #FF0044;
}

a:hover {
  background: #DDDDDD;
  color: #004444;
}

p.sign {
  text-align: right;
  font-style: italic;
  padding-top: 20px;
}

div#nav{
  position: absolute; 
  top: 150px; 
  right: 0; 
  width: 150px; 
  height: 400px; 
  font-family: sans-serif;
  font-size: 100%;
}

div#nav a {
  display: block; 
  text-align: right; 
  font: bold 1em sans-serif; 
  padding: 10px 10px; 
  margin: 0 0 2px; 
  border-width: 0; 
  text-decoration: none; 
  color: #AA0022;
}

div#nav a:hover {
  display: block; 
  text-align: right; 
  font: bold 1em sans-serif; 
  padding: 10px 10px; 
  margin: 0 0 2px; 
  border-width: 0; 
  text-decoration: none; 
  color: #FFFFFF;
  background: #999999;
}

p {
  padding-left: 20px;
  text-align: justify;
}

p:first-letter {
  font-weight: bold;
  font-size: 110%;
}

p.pcenter {
  text-align: center;
}

p.pfoot {
  font-size: 70%;
}

table.prog td {
   vertical-align: top;
}

td.tabtime {
  vertical-align: top;
  width: 8em;
}

div.abstract {
  font-family: Times,serif;
  font-size: 96%;
}


table.sudokuin td {
  padding: 0px;
  width: 35px;
  height: 37px;
  border: 2px solid red;
  text-align: center;
  font-weight: bold;
  font-size: 20px;
  background: #DDDDDD;
}

table.sudokuin td input {
  width: 18px;
  height: 25px;
  border: none;
  padding: none;
  background: #DDDDDD;
  font-weight: bold;
  font-size: 20px;
  color: blue;
}