.title {
 margin: 0px; 
 background: rgb(224, 224, 224) none repeat scroll 0% 50%;
}

.result {
  margin: auto;
}

table.result {
  border-top: thick solid black;
  border-bottom: thick solid black;
  border-collapse: collapse;
}

thead.result {
  border-bottom: medium double black;
}

.app {
  font-variant: small-caps;
  text-align: center;
}

.num {
  text-align: right;
  padding-right: 1em
}

.center {
  text-align: center;
}

.layer {
  width: 600px;
  margin:0 auto 0 auto;
  padding:0;
  border:none;
  border-collapse: collapse;
  text-align:center
}

caption {
  caption-side:bottom;
  text-align: left;
  width: auto;
  margin:0 auto 0 auto;
}

.result_left {
  border-right: thin solid black;
  border-bottom: thin solid black;
  padding-left: 0.5em;
  padding-right: 0.5em;
  text-align: center
}

.result_mid {
  border-right: thin solid black;
  border-bottom: thin solid black;
  padding-left: 0.5em;
  padding-right: 0.5em;
}

.result_right {
  border-bottom: thin solid black;
  padding-right: 0.5em;
  padding-left: 0.5em;
}

pre.msg {
  border: thin dashed darkgray;
  background: lightgray;
  padding: 0.5em;
}

pre.err {
  border: thin dashed red;
  background: #ffccee;
  padding: 0.5em;
}

pre.sol {
  border: thin dashed darkcyan;
  background: lightcyan;
  padding: 0.5em;
}