/* -*- tab-width: 4; indent-tabs-mode: nil -*- * * ***** BEGIN LICENSE BLOCK ***** * Version: MPL 1.1/GPL 2.0/LGPL 2.1 * * The contents of this file are subject to the Mozilla Public License Version * 1.1 (the "License"); you may not use this file except in compliance with * the License. You may obtain a copy of the License at * http://www.mozilla.org/MPL/ * * Software distributed under the License is distributed on an "AS IS" basis, * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License * for the specific language governing rights and limitations under the * License. * * The Original Code is The JavaScript Debugger. * * The Initial Developer of the Original Code is * Netscape Communications Corporation. * Portions created by the Initial Developer are Copyright (C) 1998 * the Initial Developer. All Rights Reserved. * * Contributor(s): * Robert Ginda, , original author * * Alternatively, the contents of this file may be used under the terms of * either the GNU General Public License Version 2 or later (the "GPL"), or * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"), * in which case the provisions of the GPL or the LGPL are applicable instead * of those above. If you wish to allow use of your version of this file only * under the terms of either the GPL or the LGPL, and not to allow others to * use your version of this file under the terms of the MPL, indicate your * decision by deleting the provisions above and replace them with the notice * and other provisions required by the GPL or the LGPL. If you do not delete * the provisions above, a recipient may use your version of this file under * the terms of any one of the MPL, the GPL or the LGPL. * * ***** END LICENSE BLOCK ***** */ body { background: #dddcf4; } body[hasSearched="true"] .newbie-help { display: none; } .quick-searches, .search-input { display: block; width: 100%; text-align: center; } a { font-weight: bold; color: darkslategrey; } a:visited { color: #444444; } #command-list a { text-decoration: none; } #command-list a:hover { text-decoration: underline; } #match-count { color: darkslategrey; width: 100%; display: block; font-size: larger; font-weight: bold; padding-top: 20px; padding-bottom: 20px; text-align: center; } #help-menu { background: lightgrey; padding: 5px; border: 2px black solid; } .value[item="description"] { margin-left: 15px; display: block; } .value[item="command-name"], .value[item="usage"] { font-family: monospace; } .command { padding: 10px; background: white; display: block; border: 2px silver inset; } .command-name, .param { font-family: monospace; font-weight: bold; } .label { font-weight: bold; color: #666666; font-variant: small-caps; } .goto-top { display: block; width: 100%; text-align: right; }