/* web-site-page.css -- style sheet for Ravenbrook web site pages
 *
 * Copyright 2009 Ravenbrook Limited.
 *
 * 2009-12-05 NDL  Created.
 *
 * $Id: //info.ravenbrook.com/project/www.ravenbrook.com/version/4.0/page/style/lisp-book.css#5 $
 */

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

/* Override web-site-base.css 
 * The figure takes up the full width of the page so nothing can float around it */

div.figure {
  margin-left: auto;
  margin-right: auto;
  width: 100%;
  margin: 0.5em;
  padding: 0.5em;
  text-align: center;
}

/* The image is 80% of the overall width */

div.figure-contents {
  margin-left: auto;
  margin-right: auto;
  width: 80%;
}

p.title {
  margin-left: auto;
  margin-right: auto;
  width: 80%;
  padding: 0.5em;
  text-align: center;
}

code.filename {
  font-style:italic;
}