/*

; XDOC Documentation System for ACL2
; Copyright (C) 2009-2011 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>

*/

body {
  font-family: "Georgia", "Bookman Old Style", serif;
}

.body_normal {
  margin-left: 1em;
  width: 45em;
}

h1,h2,h3,h4,h5 {
  font-family: "Geneva", "Verdana", sans-serif;
}

h1 { font-size: 2.2em; color: #900000; text-align: center; }
h2 { font-size: 1.8em; color: #900000; }
h3 { font-size: 1.5em; color: #600000; }
h4 { font-size: 1.2em; color: #600000; }
h5 { font-size: 1.1em; color: #600000; margin-left: 1em;}

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

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

dt {
  margin-left: 1em;
  margin-top: 1em;
  font-family: "Tahoma", "Geneva", "Verdana", sans-serif;
  font-weight: bold;
}

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

.code {
  margin-left: 2.5em;
  padding: .5em;
  border-left-width: 3px;
  border-left-style: solid;
  border-left-color: #f9e0a3;
  color: #306030;
  font-family: "Consolas", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Lucida Console", monospace;
}
li .code {
  margin-left: 1em;
}

a { text-decoration: none; }
a:hover {
  background-color: #ffffb0;
  text-decoration: underline;
}
.code a {
    color: #309030;
}

.srclink {
  font-family: "Consolas", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Lucida Console", monospace;
  text-decoration: none;
  background-color: #e0e0e0;
  padding: 2px;
/*  font-size: 100%; */
}
.srclink:hover {
  text-decoration: none;
}

.sf {
  font-family: "Geneva", "Verdana", sans-serif;
}

.tt {
  font-family: "Consolas", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Lucida Console", monospace;
  color: #306030;
/*   font-size: 100%; */
}


.tip {
    width: 50em; 
    background-color: red;
}


/* Brief index, used only in the 3-frame displayed */

.index_brief_dt {
  margin-top: 0px;
  margin-left: 0em;
  font-family: "Tahoma", "Geneva", "Verdana", sans-serif;
  font-weight: normal;
}

.index_brief_dt a {
  text-decoration: none;
}
.index_brief_dt a:hover {
  text-decoration: underline;
}


/* Main, hierarchical index, used in both 2- and 3-frame displays. */

.hindex {
  list-style-type: none;
  padding: 0px;
  font-family: "Tahoma", "Geneva", "Verdana", sans-serif;
  font-weight: normal;
}

.hindex li {
  margin-bottom: 0em;
}

.hindex li li {
  margin-left: 0.5em;
}




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


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

.stv th {
  font-family: "Tahoma", "Geneva", "Verdana", sans-serif;
}

.stv td {
  font-family: "Consolas", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Lucida Console", 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: "Tahoma", "Geneva", "Verdana", 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_name {
    border-right: 2px;
    border-right-style: solid;
    border-right-color: #000060;
    text-align: left;
    padding-right: 1em;
}