/* body { */
/*   width: 710px; */
/*   margin: 0 auto; */
/*   background-color: rgb(255,250,250); */
/* } */

code {
  font-style: monospace;
  font-size: 1.4em;
  color: rgb(180,200,255);
}

div#web-client {
  display: block;
  padding: 0;
  width: 700px;
  margin: 0 auto;
}

div.embedded {
    border: 9px solid rgb(80,80,80);
    height: 500px;
}

label#launch-url {
    visibility: hidden;
    display: none;
}

a#launch-link {
    display: block;
    margin: 0 auto 0.2em auto;
    padding: 0;
    position: relative;
    width: 20em;
    overflow: hidden;

    border: 1px solid rgb(40, 40, 10);
    line-height: 2.0em;
    text-decoration: none;
    font-size: 1.2em;
}

a#launch-link:hover {
    background-color: rgb(10,10,40);
    border: 1px solid rgb(140, 140, 40);
}