/*
  document.css --- Global style sheet for Quickref

  Copyright (C) 2018 EPITA Research and Development Laboratory

  Author: Sirgazil
  Maintainers: Didier Verna and Antoine Martin
  Contact: Quickref Maintainers <quickref-devel@common-lisp.net>

  This file is part of Quickref.

  Permission to use, copy, modify, and distribute this software for any
  purpose with or without fee is hereby granted, provided that the above
  copyright notice and this permission notice appear in all copies.

  THIS SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/

/*
  #### NOTE: this file is derived from a 2016 public domain stylesheet found
  in the texinfo-css project: https://gitlab.com/sirgazil/texinfo-css/
*/


/* Native Elements */
a:link, a:visited
{
  color: #1E90FF;
  text-decoration: none;
}

a:active, a:focus, a:hover
{
  text-decoration: underline;
}

abbr, acronym
{
  cursor: help;
}

blockquote
{
  color: #555753;
  font-style: oblique;
  margin: 30px 0px;
  padding-left: 3em;
}

body
{
  background-color: white;
  box-shadow: 0 0 2px gray;
  box-sizing: border-box;
  color: #333;
  font-family: sans-serif;
  font-size: 16px;
  margin: 50px auto;
  max-width: 960px;
  padding: 50px;
}

code, samp, tt, var
{
  color: purple;
  font-size: 0.8em;
}

div.example, div.lisp
{
  margin: 0px;
}

dl
{
  margin: 3em 0em;
}

dl dl
{
  margin: 0em;
}

dt
{
  background-color: #F5F5F5;
  padding: 0.5em;
}

h1, h2, h2.contents-heading, h3, h4
{
  padding: 20px 0px 0px 0px;
  font-weight: normal;
}

h1
{
  font-size: 2.4em;
}

h2
{
  font-size: 2.2em;
  font-weight: bold;
}

h3
{
  font-size: 1.8em;
}

h4
{
  font-size: 1.4em;
}

hr
{
  background-color: silver;
  border-style: none;
  height: 1px;
  margin: 0px;
}

html
{
  background-color: #F5F5F5;
}

img
{
  max-width: 100%;
}

li
{
  padding: 5px;
}

pre.display, pre.example, pre.format, pre.lisp, pre.verbatim
{
  overflow: auto;
}

pre.example, pre.lisp, pre.verbatim
{
  background-color: #2D3743;
  border-color: #000;
  border-style: solid;
  border-width: thin;
  color: #E1E1E1;
  font-size: smaller;
  padding: 1em;
}

table
{
  border-collapse: collapse;
  margin: 40px 0px;
}

table.index-cp *, table.index-fn *, table.index-ky *, table.index-pg *,
table.index-tp *, table.index-vr *
{
  background-color: inherit;
  border-style: none;
}

td, th
{
  border-color: silver;
  border-style: solid;
  border-width: thin;
  padding: 10px;
}

th
{
  background-color: #F5F5F5;
}


/* Classes */
.contents
{
  margin-bottom: 4em;
}

.float
{
  margin: 3em 0em;
}

.float-caption
{
  font-size: smaller;
  text-align: center;
}

.float > img
{
  display: block;
  margin: auto;
}

.footnote
{
  font-size: smaller;
  margin: 5em 0em;
}

.footnote h3
{
  display: inline;
  font-size: small;
}

.header
{
  background-color: #F2F2F2;
  font-size: small;
  padding: 0.2em 1em;
}

.key
{
  color: purple;
  font-size: 0.8em;
}

.menu *
{
  border-style: none;
}

.menu td
{
  padding: 0.5em 0em;
}

.menu td:last-child
{
  width: 60%;
}

.menu th
{
  background-color: inherit;
}

/* document.css ends here */