/*
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  
%  This file is part of Logtalk <http://logtalk.org/>
%  Copyright 1998-2016 Paulo Moura <pmoura@logtalk.org>
%  
%  Licensed under the Apache License, Version 2.0 (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.apache.org/licenses/LICENSE-2.0
%  
%  Unless required by applicable law or agreed to in writing, software
%  distributed under the License is distributed on an "AS IS" BASIS,
%  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%  See the License for the specific language governing permissions and
%  limitations under the License.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
*/


body {
	color: black;
	font-size: 12pt;
	font-family: verdana, arial, sans-serif;
	background: white;
	margin: 12pt;
}

.navtop {
	font-size: 9pt;
	text-align: right;
	border-color: #000000;
	border-width: 1pt 0pt 0pt 0pt;
	border-style: solid;
	padding: 3pt 0pt 12pt 0pt;
}

.toc-top-left, .toc-top-right, .toc-bottom-left, .toc-bottom-right {
	display: none;
}

.top-left, .top-right, .bottom-left, .bottom-right {
	display: none;
}

.footer {
	font-size: 9pt;
	margin-top: 24pt;
	padding: 3pt 0pt 18pt 0pt;
	border-width: 1pt 0pt 0pt 0pt;
	border-style: solid;
}

.navbottom {
	text-align: right;
	float: right;
	position: relative;
	width: 50%;
}

.copyright {
	text-align: left;
	float: left;
	position: relative;
	width: 50%;
}

.toc {
}

.toc-entries {
}

.leader {
	display: none;
}

.page-ref {
	display: none;
}

a {
	text-decoration: none;
	color: #bb0000;
	outline: none;
}

a:hover {
	color: #bb0000;
	background: #c8c7cc;
}


pre, code, .code, .codenp {
	color: black;
	font-family: Monaco, 'Courier New', Courier, monospace;
	font-size: 10pt;
}

a > code {
	color: #bb0000;
	font-family: Monaco, 'Courier New', Courier, monospace;
	font-size: 10pt;
}

code {
	font-size: 10pt;
}

pre {
	font-size: 10pt;
	padding: 6pt 24pt 6pt 24pt;
}

dl {
	padding-left: 2em;
}
