text: /*
  
  ; 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>
  
    xdoc.js
    JavaScript functions for XDOC
  
  */
  
  function toggleVisible(d)
  {
      var doc = parent.topics.document;
  
      if (doc.getElementById(d).style.display == "none")
      {
  	doc.getElementById(d).style.display = "block";
          doc.getElementById("img-" + d).src = "minus.png";
      }
      else
      {
  	doc.getElementById(d).style.display = "none";
          doc.getElementById("img-" + d).src = "plus.png";
      }
  }
  