body {
  font-size:16pt ;
}

input {
  line-height:1.2 ;
  font-size:24pt ;
}

table.menu {
  font-size:170%;
}

h3.title    { color:#000000; font-size:110% ; font-weight: normal;
              background-color:#ffff34 ; padding: 6px 3px 2px ;
              margin-bottom: 0.5em ;  margin-top: 0.5em ;
              border-style: solid ; border-width:0px 0px 3px 8px; border-color: red; }

h6.border-dashed {
  margin-top:1em ; margin-bottom:1em ;
  border-bottom: 2px dashed #292 ;
}

a.menu {
  font-size:105%;
}

ol {
  margin-left:1em;
}

a.button {
  font-family: inherit;
  font-size: 120%;
  border-top: dashed 2px transparent ;
  border-bottom: dashed 2px transparent ;
  color: #000 ; background-color: #d7ff00 ;
  overflow: hidden;
  cursor: pointer;
  display: inline-block ;
  margin: 0 ;
  padding: 0.3em 0.8em ;
  position: relative;
  box-shadow: none; text-shadow: none ; border-radius: 7px ;
  text-decoration:none ;
}

a.button:hover {
  text-decoration: none;
  border-top: dashed 2px #000 ;
  border-bottom: dashed 2px #000 ;
  text-decoration:underline ;
}

.button     { padding:0.2em 0.5em ; margin:0.5em ;
              font-size:120% ; text-align:center ; color:#111 ; text-decoration:none ;
              display:inline-block ;
              background-color:#d7ff00 ;
              box-shadow:2px 2px 2px #555; text-shadow:1px 1px #555 ; border-radius:10px ;
            }