/* Plug-in theme injections: */
.hl.arrow_fold:before {
  content: '\2261';
  color: red; font-weight:bold;
  position: absolute;
  left: 1em;
}
.hl.arrow_fold:after {
  content: '\2026';
  color: red;
  border-width:1px;border-style:dotted;border-color:red;
  margin-left: 1em;
  padding:0px 2px 0px;
}
.hl.arrow_unfold:before {
  content: '\2212';
  color: #000000;
  position: absolute;
  left: 1em;
}
.hl.arrow_fold, .hl.arrow_unfold  {
  cursor: pointer;
  width: 42px;
  display: inline-block;
}
.hl.arrow_fold  {
  background: -webkit-linear-gradient(left, tomato , white); /* For Safari 5.1 to 6.0 */
  background: -o-linear-gradient(right, tomato, white); /* For Opera 11.1 to 12.0 */
  background: -moz-linear-gradient(right, #ff7d66, white); /* For Firefox 3.6 to 15 */
  background: linear-gradient(to right, #ff9380 , white); /* Standard syntax */
}

button {
    color: #000;
    background-color: #ddd;
}