/*
; XDOC Documentation System for ACL2
; Copyright (C) 2009-2013 Centaur Technology
;
; Contact:
;   Centaur Technology Formal Verification Group
;   7600-C N. Capital of Texas Highway, Suite 300, Austin, TX 78731, USA.
;   http://www.centtech.com/
;
; License: (An MIT/X11-style license)
;
;   Permission is hereby granted, free of charge, to any person obtaining a
;   copy of this software and associated documentation files (the "Software"),
;   to deal in the Software without restriction, including without limitation
;   the rights to use, copy, modify, merge, publish, distribute, sublicense,
;   and/or sell copies of the Software, and to permit persons to whom the
;   Software is furnished to do so, subject to the following conditions:
;
;   The above copyright notice and this permission notice shall be included in
;   all copies or substantial portions of the Software.
;
;   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
;   IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
;   FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
;   AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
;   LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
;   FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
;   DEALINGS IN THE SOFTWARE.
;
; Original author: Jared Davis <jared@centtech.com>

; Cascading Style Sheet for the Printer-Friendly view.

*/

#body {
    margin: .5em;
    background-color: white;
}

body { font-family: "Noto Serif", serif; }

.basepkg, h1, h2, h3, h4, h5, .sf {
    font-family: "Lato", sans-serif;
}

dt, .hindex, #flat, #still_loading {
    font-family: "Lato", sans-serif;
}

.code, .srclink, .tt, #letters, .from, .v {
    font-family: "Source Code Pro", monospace;
}


h1 { font-size: 2.2em; margin-bottom: 0em;}
h2 { font-size: 1.8em; }
h3 { font-size: 1.5em; }
h4 { font-size: 1.2em; }
h5 { font-size: 1.1em; margin-left: 1em;}

.from {
    margin-top: -.2em;
    font-size: 90%;
    text-align: left;
    margin-left: 0;
    margin-right: 0;
    padding: 0;
    color: #606060;
}

p, dl { margin-left: 1em; margin-right: 1em; }

li    { margin-left: 1.0em; margin-right: 1em; margin-bottom: 0.5em; }
li li { margin-left: -1.0em; margin-bottom: 0em; }

dt {
  margin-top: 1em;
  font-weight: bold;
}

.box {
  margin-left: 1.5em;
  margin-right: 1.5em;
  border-width: 1px;
  border-style: solid;
}

.code {
  margin-left: 2.5em;
  margin-right: 1em;
  padding: .5em;
  border-left-width: 3px;
  border-left-style: solid;
  border-left-color: #a0a0a0;
  font-size: 90%;
}

li .code {
  margin-left: 1em;/*  font-size: 100%; */
}

a { text-decoration: underline; color: #000000; }


.srclink {
  font-size: 90%;
  text-decoration: underline;
  padding: 2px;
}
.srclink:hover {
  text-decoration: none;
}

hr { margin-top: 2em; }

.dat_long {
    border-left-style: solid;
    border-left-width: 2px;
    margin-left: .2em;
    padding-left: 1em;
    border-color: #909090;
}

.ximg {
    text-align: center;
}


.basepkg {
    float: right;
    z-index: 1;
    width: 5em;
    text-align: center;
    padding-top: 5px;
    padding-bottom: 5px;
    margin-right: 1em;
}


/* Extra stuff for Symbolic Test Vectors at Centaur */


.stv {
  margin-left: 1em;
  border: 1px;
  border-color: black;
  border-style: solid;
}

.stv th {
  font-family: "Lato", sans-serif;
}

.stv td {
  font-family: "Source Code Pro", monospace;

  text-align: right;
  padding-left: .5em;
  padding-right: .5em;
}

.stv_labels {
  background-color: #e0ffc3;
}

.stv_labels th:nth-child(even) {
  background-color: #e9ffd6;
}

.stv_labels th {
  font-family: "Lato", sans-serif;
  text-align: left;

  border-bottom: 2px;
  border-bottom-style: solid;
  border-bottom-color: #b0dda3;

  border-right: 1px;
  border-right-style: solid;
  border-right-color: #b0dda3;
}

.stv_input_line {
  background-color: #ffe0c3;
}

.stv_input_line td:nth-child(even) {
  background-color: #ffe9d6;
}

.stv_input_line td {
  border-bottom: 1px;
  border-bottom-color: #ddb0a3;
  border-bottom-style: solid;
  border-right: 1px;
  border-right-style: solid;
  border-right-color: #ddb0a3;
}


.stv_output_line {
    background-color: #c3e0ff;
}

.stv_output_line td:nth-child(even) {
  background-color: #d6e9ff;
}

.stv_output_line td {
  border-bottom: 1px;
  border-bottom-color: #a3b0dd;
  border-bottom-style: solid;
  border-right: 1px;
  border-right-style: solid;
  border-right-color: #a3b0dd;
}

.stv_override_line {
    background-color: #ffb0b0;
}

.stv_override_line td:nth-child(even) {
  background-color: #ffc0c0;
}

.stv_override_line td {
  border-bottom: 1px;
  border-bottom-color: #ff8080;
  border-bottom-style: solid;
  border-right: 1px;
  border-right-style: solid;
  border-right-color: #ff8080;
}

.stv_internal_line {
    background-color: #ff0000; /* bozo fix colors */
}

.stv_internal_line td:nth-child(even) {
  background-color: #ffcc00; /* bozo fix colors */
}

.stv_internal_line td {
  border-bottom: 1px;
  border-bottom-color: #000000; /* bozo fix colors */
  border-bottom-style: solid;
  border-right: 1px;
  border-right-style: solid;
  border-right-color: #000000;
}

.stv_name {
    border-right: 2px;
    border-right-style: solid;
    border-right-color: #000060;
    text-align: left;
    padding-right: 1em;
}