/*
 * local.css: override default CSS settings from ikiwiki
 *
 * Many features used in this file have been inspired by the configuration
 * of the Monotone wiki at <http://monotone.ca/wiki/>.
 *
 */

*.floatright
{
  float: right;
  margin-left: 15px;
  margin-right: 5px;
  margin-bottom: 15px;
}

/* align images with equations properly */

*.teximg
{
  vertical-align: middle;
}

/* configure generous margins for the header section */

.header
{
  height: 30px;
  padding: 20px;
  border-bottom: 1px solid;
}

.header span a
{
  margin-right: 0.3em;
}

/* configure the search form */

#searchform
{
}

#searchform div
{
  font-size: 12px;
}

#searchform div input#searchbox
{
  margin-left: 5px;
}

#searchform #searchbox,
#searchform input
{
  border: 1px solid #474747;
  width: 15em;
  background: #FFFFFF url(wikiicons/search-bg.gif) no-repeat scroll right top;
  color:#000000;
}

#searchform div:before
{
  content: "Search this site:";
}

/* use funky layout for RecentChanges and History links */

.actions
{
  text-align: right;
  font-size: 0;
}

.actions ul,
.pageheader .actions ul
{
  border: 0;
  padding: 0;
  margin-right: 20px;
}

.actions ul li
{
  display: inline-block;
  vertical-align: top;
  border-left: 1px solid #474747;
  border-right: 1px solid #474747;
  border-bottom: 1px solid #474747;
  margin-left: 1em;
  padding-top: 0.4em;
  padding-left: 0.8em;
  padding-right: 0.8em;
  padding-bottom: 0.4em;
  font-size: 10px;
  line-height: 15px;
  -moz-border-radius-bottomleft: 0.8em;
  -moz-border-radius-bottomright: 0.8em;
  -webkit-border-bottom-left-radius: 0.8em;
  -webkit-border-bottom-right-radius: 0.8em;
}

/* render table of contents slightly indented and with a margin */

#content .toc
{
  margin-top: 5px;
  border: 1px dotted;
  padding-left: 2em;
}

/* render commit messages in change history with slight indention */

.recentchanges .changelog
{
  padding-left: 2em;
}