.w3cbutton_space {

  margin: 1em 0em;

  width: 1em;

  font-family: helvetica,arial,sans-serif;

  font-size: 100%;

  font-weight: bold;

  float: right;

  margin-right: 0px;

  margin-top: 0px;

}



/* ------------------------------------------- */



.w3cbutton_css {

  margin: 1em 0em;

  width: 8em;

  border: 1px solid #ccc;

  font-family: helvetica,arial,sans-serif;

  font-size: 100%;

  font-weight: bold;

  float: right;

  margin-right: 0px;

  margin-top: 0px;

}

.w3cbutton_css a {

  display: block;

  width: 100%;

  text-align: center;

}

.w3cbutton_css a:link,

.w3cbutton_css a:visited,

.w3cbutton_css a:hover {

  background-color: #fc6;

  color: #000;

  text-decoration: none;

}

.w3cbutton_css span.w3c {

  padding: 0em 0.2em;

  background-color: #fff;

  color: #0c479d;

  float: left;

}

.w3cbutton_css span.spec {

  background-color: #fc6;

  color: #000;

}



/* ------------------------------------------- */



.w3cbutton_html {

  margin: 1em 0em;

  width: 16em;

  border: 1px solid #ccc;

  font-family: helvetica,arial,sans-serif;

  font-size: 100%;

  font-weight: bold;

  float: right;

  margin-right: 0px;

  margin-top: 0px;

}

.w3cbutton_html a {

  display: block;

  width: 100%;

  text-align: center;

}

.w3cbutton_html a:link,

.w3cbutton_html a:visited,

.w3cbutton_html a:hover {

  background-color: #fc6;

  color: #000;

  text-decoration: none;

}

.w3cbutton_html span.w3c {

  padding: 0em 0.2em;

  background-color: #fff;

  color: #0c479d;

  float: left;

}

.w3cbutton_html span.spec {

  background-color: #fc6;

  color: #000;

}



/* ------------------------------------------- */



.w3cbutton_other {

  margin: 1em 0em;

  width: 9em;

  border: 1px solid #ccc;

  font-family: helvetica,arial,sans-serif;

  font-size: 100%;

  font-weight: bold;

  float: right;

  margin-right: 0px;

  margin-top: 0px;

}

.w3cbutton_other a {

  display: block;

  width: 100%;

  text-align: center;

}

.w3cbutton_other a:link,

.w3cbutton_other a:visited,

.w3cbutton_other a:hover {

  background-color: #898e79;

  color: #000;

  text-decoration: none;

}

.w3cbutton_other span.w3c {

  padding: 0em 0.2em;

  background-color: #ff6600;

  color: #fff;

  float: left;

}

.w3cbutton_other span.spec {

  background-color: #898e79;

  color: #fff;

}