/* web-site-page.css -- style sheet for Ravenbrook web site pages
 *
 * Copyright 2003 Ravenbrook Limited.
 *
 * 2003-07-04  RB  Designed for new web site layout.
 * 2003-07-09  RB  Split into default stylesheet for all documents and
 *                 style sheet for web site pages.
 * 2003-07-18  RB  Lifted menu box style into style sheet.  Added style for H4 headings.
 *                 Split into common base for web site stylesheets, and alternative
 *                 styles on top.
 *
 * $Id: //info.ravenbrook.com/project/www.ravenbrook.com/version/4.0/page/style/web-site-page.css#1 $
 */

@import "web-site-base.css";

/* Main headings have an underline that extends across the page. */

h2 {
  margin: 2ex 0 0 0;
  padding: 0 0 0.2ex 0;
  border-bottom: thin solid gray;
  clear: left;
}

/* Smaller headings are close to the following text. */

h3 {
  margin: 1ex 0 0 0;
  padding: 0;
  clear: left;
}

h4 {
  margin: 0.5ex 0 0 0;
  padding: 0;
  clear: left;
}

/* Smaller headings following main headings get some extra space. */

h2+h3 {
  margin-top: 1.5ex;
}

/* Paragraphs after smaller headings are close. */

h3+p {
  margin-top: 0.5ex;
}

h4+p {
  margin-top: 0;
}

/* The site menu has a rounded box with a drop-shadow around it. */

#site-menu table.box td.top-left {
  width: 16px;
  height: 16px;
  background: url(/images/box/round-shadow/top-left.png) no-repeat;
}

#site-menu table.box td.top-right {
  width: 16px;
  height: 16px;
  background: url(/images/box/round-shadow/top-right.png) no-repeat;
}

#site-menu table.box td.bottom-left {
  width: 16px;
  height: 16px;
  background: url(/images/box/round-shadow/bottom-left.png) no-repeat;
}

#site-menu table.box td.bottom-right {
  width: 16px;
  height: 16px;
  background: url(/images/box/round-shadow/bottom-right.png) no-repeat;
}

#site-menu table.box td.top {
  height: 16px;
  background: url(/images/box/round-shadow/top.png) repeat-x;
}

#site-menu table.box td.bottom {
  height: 16px;
  background: url(/images/box/round-shadow/bottom.png) repeat-x;
}

#site-menu table.box td.left {
  width: 16px;
  background: url(/images/box/round-shadow/left.png) repeat-y;
}

#site-menu table.box td.right {
  width: 16px;
  background: url(/images/box/round-shadow/right.png) repeat-y;
}