/*
; 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/
;
; This program is free software; you can redistribute it and/or modify it under
; the terms of the GNU General Public License as published by the Free Software
; Foundation; either version 2 of the License, or (at your option) any later
; version.  This program is distributed in the hope that it will be useful but
; WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
; FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
; more details.  You should have received a copy of the GNU General Public
; License along with this program; if not, write to the Free Software
; Foundation, Inc., 51 Franklin Street, Suite 500, Boston, MA 02110-1335, USA.
;
; Original author: Jared Davis <jared@centtech.com>

; Cascading Style Sheet for the fancy viewer.  You can easily tweak the colors,
; layout, etc., here.

*/


/* ---------------------------- LAYOUT -------------------------------- */

body {
   margin: 0;
   background-color: white;
}

#top {
    position: fixed;
    z-index: 100;
    left: 0;
    top: 0;
    height: 60px;
    width: 100%;
    border-top: solid 2px;
    border-bottom: solid 3px;
}

/*
#bottom {
    position: fixed;
    z-index: 100
    left: 0;
    bottom: 0;
    height: 2em;
    border-top: solid 3px;
    width: 100%;
}
*/

#left {
    position: fixed;
    left: 0;
    top: 65px;
    bottom: 0em;
    width: 254px;
    padding: 0;
    overflow-y: scroll;
    overflow-x: hidden;
}

#right {
    border-left: solid 1px;
    position: fixed;
    left: 254px;
    top: 65px;
    right: 0em;
    bottom: 0em;
    overflow: auto;
    margin: 0;
    padding-left: 0;
    padding-right: 0;
    padding-top: 0;
    padding-bottom: 2em;
}

#data {
    margin-left: 1em;
    margin-right: 1em;
    width: 45em;
    height: 100%;
}

#still_loading {
    z-index: 200;
    position: fixed;
    left: 350px;
    top: 120px;
    border-radius: 7px;
    background-color: #007730;
    color: white;
    padding-left: 30px;
    padding-right: 30px;
    padding-top: 10px;
    padding-bottom: 10px;
    font-size: 120%;
    box-shadow: 0px 0px 0px 3px rgba(0,0,70,0.3);
}

h1 { margin-bottom: 0; }

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


/* ---------------------------- COLORS -------------------------------- */

#top    { background-color: #034569; }
#bottom { background-color: #228A4C; }
#left   { background-color: #ffcba3; }
#right  { background-color: white; }

#top, #bottom, #right, #left, #parents { border-color: #3C9DD0; }

body          { background-color: white;}
#data_wrapper { background-color: #ffffff; }

h1,h2    {  color: #A64300; }
h3,h4,h5 {  color: #FF6700; }

.box          { border-color: black; }
#data_wrapper { border-color: #034569; }

.code,.tt { color: #306030;}
.code a   { color: #309030;}
.code     { border-color: #3C9DD0; }

#nav a:hover, #flat a:hover { background-color: #FFAB73; }
#data a:hover { background-color: #ffffa0; }

#parents { background-color: #63DB93; }
#parents li a       {  }
#parents li a:hover { background-color: #00B74A; text-decoration: none; }

.tt-is-under-cursor { background-color: #ffffa0; }

#jumpmsg,#searchmsg { color: white; }

#letters { padding-left: .4em; }
#letters a { color: #3C9DD0; }
#letters a:hover { text-decoration: none; color: white; background-color: #086CA2; }

.dat_long {
    border-color: #FF6700;
}

.from {
    color: #3C9DD0;
}


/* ----------------------- FONTS --------------------------------- */

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

#parents, #toolbar, h1, h2, h3, h4, h5, .sf {
    font-family: "Geneva", "Verdana", sans-serif;
}

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

.code, .srclink, .tt, #letters, .from {
    font-family: "Consolas", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", "Lucida Console", monospace;
}



/* ----------------------- PARENTS DISPLAY ----------------------- */

#parents {
    padding: 10px;
    border-bottom-width: 1px;
    border-bottom-style: solid;
}

#parents ul {
    margin: 0;
    padding: 0;
    list-style-type: none;
}

#parents li {
    display: inline;
}

#parents li a {
    padding: .2em 1em;
}



/* ---------------------- JUMP TO BOX ---------------------------- */

#toolbar {
    padding: .5em;
}
#toolbar td {
    padding-left: 3em;
}


#jump, #searchbox {
    background-color: #ffffa0;
    box-shadow: 0px 0px 0px 2px rgba(0,0,0,0.3);
    border-radius: 3px;
    border: 2px solid #dadada;
    background-clip: padding-box;
}

#jump:focus, #searchbox:focus {
    outline: none;
    border-color: #9ecaed;
    box-shadow: 0 0 10px #9ecaed;
}

/* These are fancy things for the typeahead menu: */

.tt-dropdown-menu {
    background-color: white;
    color: black;
    width: 450px;
    font-size: 90%;
}

.tt-suggestion {
    border: 1px black solid;
    padding: .25em;
}

.tt-suggstion tt {
    font-size: 50%;
}


/* ------------------------ NAVIGATION MENU ---------------------- */

.hindex {
  list-style-type: none;
  padding: 0;
  font-weight: normal;
}

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

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


#flat ul {
  list-style-type: none;
  margin-left: 1em;
  padding: 0;
}

#flat li {
  margin-left: 0;
  margin-bottom: 0;
}

.flatsec {
    margin-top: 2em;
}



img {
  border: 0px;
}


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

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-left: 1em;
  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;
}

li .code {
  margin-left: 1em;
}

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

.srclink {
  text-decoration: none;
  background-color: #e0e0e0;
  padding: 2px;
/*  font-size: 100%; */
}
.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;
}

/* 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_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;
}