.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;
}