body,
article
{
  background-color: #000000;
  background-image: url('../pix/waf-halloween-bg.png');
  color: #FF7F00;
}
#document_body,
.article_body,
.blog_header,
#blog_footer
{
  background-color: rgba(0, 0, 0, 0.8);
}

*,
.date_block
{
  border-color: #FF7F00;
}
fieldset
{
  border-width: 1px;
}
/*
button,
input,
option,
select
{
  background-color: #FF7F00;
  color: black;
}
*/
ul
{
  list-style-image: url('../pix/bullet_halloween_pumpkin.png');
}

#nav
{
  background: linear-gradient(to right, #000000, #FF7F00, #000000) repeat scroll 0 0 rgba(0, 0, 0, 0);
}
div.nav_popup_menu
{
  background-color: #000000;
  background-image: url('../pix/waf-halloween-bg.png');
  border-color: #FF7F00;
}
div.nav_menu_background
{
  background-color: rgba(0, 0, 0, 0.7);
}
div#language_menu
{
  background-position: 28% 2%;
}
div#tool_menu
{
  background-position: 80% -30%;
}

#site_map_jumble li
{
  background-color: #000000;
}
#site_map_jumble > ul
{
  border-color: orange #FF7F00 #FF7F00 orange;
}
.nav_pointer
{
  background-image: url('../pix/pointer_blood_drip.gif');
}

a,
.anchor
{
  border-color: orange;
  color: orange;
}
a:visited
{
  border-color: #7F3F00;
  color: #7F3F00;
}
a:hover,
.anchor:hover
{
  border-color: #FFC07F;
  color: #FFC07F;
}
a:active
{
  border-color: red;
  color: red;
}

fieldset.about
{
  border-color: #FF7F00;
}

.note_popup_arrow
{
  border-bottom-color: #FF7F00;
}
.note_popup_content
{
  background-color: #000000;
  background-image: url('../pix/waf-halloween-bg.png');
  border-color: #FF7F00;
}
.note_popup_content > div
{
  background-color: rgba(0, 0, 0, 0.8);
}

table.table
{
  border-color: #FF7F00;
}
table.table tr,
table.table th,
table.table td
{
  border-color: #FF7F00;
}

div.figure_container
{
  background-color: #FF7F00;
  border-color: #FFC07F;
  color: black;
}

span.spoiler
{
  background-image: url('../pix/spoilers-inverted.png');
  border-color: white;
}

div.footnotes
{
  border-top: 1px solid #FF7F00;
}

.dialog_box
{
  background-color: black;
  /*background-image: url('../pix/waf-halloween-bg.png');*/
  border-color: #FF7F00;
}
.dialog_box .dialog_title
{
  background-color: orange;
  color: black;
}
.dialog_box .dialog_message,
.dialog_box .dialog_buttons
{
  background-color: rgba(0, 0, 0, 0.8);
  color: #FF7F00;
}

/* Theme is dark; invert this image */
img.invertable_dark
{
  filter: invert(1);
}
img.invertable_dark:hover
{
  filter: invert(0);
}