body
{
  text-align: center;
}

.crisp
{
    image-rendering: optimizeSpeed;             // Older versions of FF
    image-rendering: -moz-crisp-edges;          // FF 6.0+
    image-rendering: -webkit-optimize-contrast; // Webkit
                                                //  (Safari now, Chrome soon)
    image-rendering: optimize-contrast;         // Possible future browsers.
    -ms-interpolation-mode: nearest-neighbor;   // IE
}

.emulation
{
  text-align: center;
}

.divide
{
  width: 70%;
  margin-top: 0.5em;  
}

.control
{
  text-align: center;
  margin-top: 0.5em;
}

.control .label
{
  font-family: monospace;
  float: left;
}

#intext
{
  font-family: monospace;
}

.charmap
{
  display: none;
}

.editor button
{
  margin-top: 0.5em;
}

.editor #ok
{
  padding-left: 2em;
  padding-right: 2em;
}

.editor #cancel
{
  margin-left: 2em;
}

.linkback
{
  margin-top: 0.5em;
  margin-right: 4em;
  font-size: small;
}