.w3cbutton4 {
  margin: 0.1em 0;
  width: 8em;
  height: 2em;
  font-family: helvetica,arial,sans-serif;
  font-size: 70%;
  font-weight: bold;
  text-align: center
}
.w3cbutton4 a {
  display: block;
  width: 100%
}
.w3cbutton4 a:link,
.w3cbutton4 a:visited,
.w3cbutton4 a:hover {
  background-color: #cc00cc;
  color: #ffffff;
  text-decoration: none
}
.w3cbutton4 a:link,
.w3cbutton4 a:visited {
  border-top: 2px solid #cecece;
  border-bottom: 3px solid #4a4a4a;
  border-left: 2px solid #cecece;
  border-right: 3px solid #4a4a4a
}
.w3cbutton4 a:hover {
  border-bottom: 2px solid #cecece;
  border-top: 3px solid #4a4a4a;
  border-right: 2px solid #cecece;
  border-left: 3px solid #4a4a4a
}
.w3cbutton4 span.w3c {
  padding: 0 0.1em;
  background-color: #cc00cc;
  color: #ffffff
}

.w3christmas {
  margin: 0.7em 0;
  width: 8em;
  font-family: helvetica,arial,sans-serif;
  font-size: 18;
  font-weight: bold;
  text-align: center
}
.w3christmas a {
  display: block;
  width: 100%
}
.w3christmas a:link,
.w3christmas a:visited,
.w3christmas a:hover {
  background-color: #cc00cc;
  color: #ffffff;
  text-decoration: none
}
.w3christmas a:link,
.w3christmas a:visited {
  border-top: 1px solid #cecece;
  border-bottom: 2px solid #4a4a4a;
  border-left: 1px solid #cecece;
  border-right: 2px solid #4a4a4a
}
.w3christmas a:hover {
  border-top: 2px solid #4a4a4a;
  border-bottom: 1px solid #cecece;
  border-left: 2px solid #4a4a4a;
  border-right: 1px solid #cecece;
}