/* web.css
   Copyright (C) 2006 g10 Code GmbH

   This file is part of Scute.
 
   Scute 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.

   Scute 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 Scute; if not, write to the Free Software Foundation,
   Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA

   In addition, as a special exception, g10 Code GmbH gives permission
   to link this library: with the Mozilla Foundation's code for
   Mozilla (or with modified versions of it that use the same license
   as the "Mozilla" code), and distribute the linked executables.  You
   must obey the GNU General Public License in all respects for all of
   the code used other than "Mozilla".  If you modify this file, you
   may extend this exception to your version of the file, but you are
   not obligated to do so.  If you do not wish to do so, delete this
   exception statement from your version.  */

/* Note that the dimensions here specify the view-port size, not the
image size, which is specified in the SVG file itself.  */

body { font-family: "sans-serif";
       background-image: url("scute-border.jpg");
       background-repeat: repeat-y;
       margin: 0em;
     }

/* Same constant also below for div#main.  FIXME: Can be fixed by
   using another div for the body.  */

div#toc { margin-left: 150px; }

div#toc object { width: 310px;
		 height: 110px;
		 float: left;
		 margin-left: -45px }

div#toc h1 { display: none; }

div#toc ul { float: left;
	     padding: 0em; }

div#toc ul li { font-size: small; float: left;
		font-weight: bold;
	        border-style: none none none solid;
	        border-width: 3px 0px 3px 3px;
	        padding: 0.6em 0em 0.6em 0.6em;
	        margin: 0.6em 0em 0.6em 0.6em;
		text-align: center;
		list-style-type: none;
	      }

div#toc ul li:first-child { border-width: 3px 0px 3px 0px; }

div#toc ul li a:link { text-decoration: none; color: black }
div#toc ul li a:visited { text-decoration: none; color: black }
div#toc ul li a:hover { text-decoration: underline; color: black }
div#toc ul li a:active { text-decoration: underline; color: white;
			    background-color: black; }

div#main { clear: left;
	   margin-left: 150px;
	   margin-right: 15%; }

div#main h1 { padding-top: 1em; }

div#main table > caption { display: none; }

div#main table { border-style: none none none solid;
		 border-width: 3px;
		 margin: 0.6em;
		 text-align: left;
	       }

div#main table > tr > td,th { padding-left: 0.6em; }