// XDOC Documentation System for ACL2
// Copyright (C) 2009-2015 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 fancy viewer.  You can easily tweak the colors,
// layout, etc., here.

@import 'common';

.mobileonly {
    display: none;
}

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

$topsize: 65px;
$navsize: 16em;

body {
   background-color: white;
   padding: 2em;
}

#top {
    position: fixed;
    z-index: 100;
    left: 0;
    top: 0;
    height: ($topsize - 5);
    width: 100%;
    border: {
	top: solid 2px;
	bottom: solid 3px;
    }
}


#toolbar {
    padding: .5em;

    td {
	padding-left: 1em;
    }
}


#left {
    position: fixed;
    left: 0;
    top: $topsize;
    bottom: 0em;
    width: $navsize;
    padding: 0;
    overflow-y: scroll;
    overflow-x: hidden;
    display: block;
}

#right {
    border-left: solid 1px;
    position: fixed;
    left: $navsize;
    top: $topsize;
    right: 0em;
    bottom: 0em;
    overflow: auto;
    margin: 0;
    padding: {
	left: 0;
	right: 0;
	top: 0;
	bottom: 1em;
    }
}

#data {
    margin-left: 1em;
    margin-right: 1em;
    max-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;
	right: 30px;
	top: 10px;
	bottom: 10px;
    }
    font-size: 120%;
    box-shadow: 0px 0px 0px 3px rgba(0,0,70,0.3);
}

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

.basepkg {
    float: right;
    background-color: #990000;
    width: 5em;
    text-align: center;
    padding-top: 10px;
    padding-bottom: 10px;
    margin: 0;
    border: {
	color: #ffd0b0;
	width: 3px;
	style: solid;
	radius: 5px;
    }
    background-color: #ffffff;
}

@media all and (min-width: 70em) {
    .basepkg {
	margin-right: -5em;
    }
}




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

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

  li {
      margin-bottom: 0em;
  }

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


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

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

.flatsec {
    margin-top: 2em;
}


.tt-dropdown-menu {
    // Jump-to box suggestions: we'll make these wider for the desktop
    // version.
    width: 450px;
}





// -------------------- CONTENT -----------------------------

h5 { margin-left: 1em;}

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

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

dt { margin-left: 1em; }

.box {
  margin-left: 1.5em;
  margin-right: 1.5em;
}

.code, .mathblock, .mathblockrendered {
  margin-left: 2.5em;
  margin-right: 1em;
  padding: .5em;
}

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

.xtable {
  margin-left: 1.5em;
  margin-right: 1.5em;
}
