/*
*	SB Book Style
*
*	Nicholas Christopoulos
*
*	(GPL)
*/

body {
  margin-left: 60px;
  margin-right: 50px;
  margin-top: 26px;
  margin-bottom: 60px;
  font-family: sans-serif;
  color: black;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}

:link { color: #00C; background: transparent }
:visited { color: #00C; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none } /* no border on img links */

a		{ font-weight: bold; }

caption, li, th, td { /* ns 4, ie 5 */
  font-family: trebuchet ms, sans-serif;
}

hide, .hide { display: none }

pre, code, samp  { font-family: monospace }

pre {
	margin-left: 2em;
	margin-right: 2em;
	}

ol.greek	{ list-style-type: lower-greek; }
li { margin: 0.75em; }

dt, dd	{ margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt 		{ font-weight: bold }

h1, h2, h3, h4, h5, h6 { text-align: left; }
h1, h2, h3 { color: #005A9C; }
h1 { font-size: 3.0em; font-weight: bold; font-family: trebuchet ms, sans-serif; }
h2 { font-size: 2.4em; font-weight: bold; font-family: trebuchet ms, sans-serif; }
h3 { font-size: 1.9em; font-weight: bold; font-family: trebuchet ms, sans-serif; }
h4 { font-size: 1.6em; font-weight: bold; font-family: trebuchet ms, sans-serif; }
h5 { font-size: 1em;   font-weight: normal; font-style: italic; font-family: trebuchet ms, sans-serif; }
h6 { font: small-caps 1em sans-serif }

/*
*	head 
*/
div.head 			{ margin-bottom: 1em }
div.head table 		{ margin-left: 2em; margin-top: 2em }
div.head .subtitle	{ font-weight: bold; }
.head h1 { font-size: 1.9em; }
.head p.copyright 		{ font-size: small }
.head p.copyright small	{ font-size: small }

/*
*	abstract 
*/
div.abstract		{
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	padding-bottom: 2ex;
	}

div.abstract h1		{ font-size: 160%; }
div.abstract h2		{ font-size: 140%; }
div.abstract h3		{ font-size: 120%; }
div.abstract h4		{ font-size: 110%; }

/*
*	TOC
*/
ul.toc {
	list-style: disc;
	list-style: none;
	}

/*
*	main
*/
pre.example {
	padding: 2ex;
	border-top: 1px solid #d0d0d0;
	border-bottom: 1px solid #d0d0d0;
	}

.screen {
	padding: 2ex;
	color: green;
	font-weight: bold;
	border-top: 1px solid #d0d0d0;
	border-bottom: 1px solid #d0d0d0;
	}

.xmp, .scrout, pre.xmp {
	padding: 2ex;
	color: green;
	font-weight: bold;
	background-color: #f0f0f0;
	}

div.result, pre.result {
	margin-left: 2em;
	margin-right: 2em;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding: 3ex;
	border: 1px dashed gray;
	}

table.params {
  	border-top: 1px solid black;
  	border-bottom: 1px solid black;
	}

table.latex {
  	border-top: 1px solid black;
  	border-bottom: 1px solid black;
	}

.latex caption {
  	font-family: sans-serif;
	font-style: italic;
	caption-side: bottom;
	}

.note {
	border-top: 1px solid #d0d0d0;
	color: #808080;
	}

div.note, p.note {
	border-top: 1px solid #d0d0d0;
	color: #808080;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding-left: 6em;
	font-size: 92%;
	}

div.note:before, p.note:before {
/* αν και παράδειγμα του CSS2 δεν λειτουργεί πουθενά σωστά.
	display: marker;
	content: url("ico-note.png") " Σημ. " counter(note-counter) ":";
	counter-increment: note-counter;
*/
	text-align: left;
	width: 6em;
	}

div.warning, p.warning {
	border: 1px solid red;
	font-size: 96%;
	color: #f06020;
	font-weight: bold;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding: 1ex;
	}

div.attn, p.attn {
	border: 1px solid black;
	font-weight: bold;
	margin-left: 10%;
	margin-right: 10%;
	margin-top: 1ex;
	margin-bottom: 1ex;
	padding: 2ex;
	}

/* footnotes */
/* reference footnote (<cite class=fnote>1</cite>) */
cite.fnote, ft {
	font-family: sans-serif;
	font-weight: normal;
	font-style: normal;
	font-size: 1.4ex;
	color: #20f040;
	vertical-align: text-top;
	}

/* */
div.fnote	{
	margin: 0px;
	margin-top: 1ex;
	padding: 0px;
	border-top: 1px solid black;
 	font-size: 1.75ex;
	}

div.fnote li {
	margin: 0.05ex;
	padding: 0ex;
	}
div.fnote ol {
	margin-top: 0ex;
	margin-left: 0em;
	padding-top: 0ex;
	padding-left: 2em;
	}

/* quote */
.quote:before, qq:before	{ content: "«"; }
.quote:after,  qq:after		{ content: "»"; }

div.quote, p.quote, blockquote.quote {
	margin-left: 4%;
	margin-right: 4%;
	padding: 2ex;
	border-top: 1px solid #d0d0d0;
	border-bottom: 1px solid #d0d0d0;
	margin-top: 1ex;
	margin-bottom: 1ex;
	}

.quote, qq {
	font-family: serif;
	font-style: italic;
	}

/* compact definition list, an kai example of CSS 2, bug everywhere ektos opera7 */
.dlshort dt { display: compact; }
.dlshort dd { margin-left: 5em; }

/* logical text-tags */

acronym {
	font-weight: bold;
	color: #406080;
	}

address {
	font-style: italic;
	color: #808080;
	}

q:before { content: "«"; }
q:after  { content: "»"; }

strong	{
	font-weight: bolder;
	font-style: normal;
	}

em	{
	font-weight: normal;
	font-style: italic;
	}

cite:before	{ font-family: serif; font-style: normal; font-size: 120%; color: #808080;	content: "["; }
cite:after	{ font-family: serif; font-style: normal; font-size: 120%; color: #808080;	content: "]"; }
cite		{ font-family: serif; font-style: italic; }
cite.fnote:before { content: ""; }
cite.fnote:after  { content: ""; }

dfn {
	font-family: sans-serif;
	font-style: italic;
	font-weight: bold;
	color: #406080;
	}

/*
var:before	{ font-family: serif; font-style: normal; font-size: 110%; color: #808080;	content: "\2039"; }
var:after	{ font-family: serif; font-style: normal; font-size: 110%; color: #808080;	content: "\203A"; }
*/
.var:before, var:before	{ font-family: serif; font-style: normal; font-size: 110%; color: #808080;	content: "\2329"; }
.var:after, var:after	{ font-family: serif; font-style: normal; font-size: 110%; color: #808080;	content: "\232A"; }
.var, var	{
	font-family: serif;
	font-style: italic;
	}

/*
code:before	{ font-family: serif;	font-weight: normal;	content: "\2018"; }
code:after	{ font-family: serif;	font-weight: normal;	content: "\2019"; }
*/
code	{
	font-family: monospace;
	font-weight: bold;
	}

kbd		{ font-family: monospace; font-style: italic; font-weight: bold; }

samp:before	{ font-family: serif; font-weight: normal; font-style: normal; content: "\2018"; }
samp:after	{ font-family: serif; font-weight: normal; font-style: normal; content: "\2019"; }
samp		{ font-family: monospace; }

/* user-defined tags */

.file:before, file:before	{ font-family: serif;	font-style: normal; content: "\2018"; }
.file:after,  file:after	{ font-family: serif;	font-style: normal; content: "\2019"; }
.file, 		  file		{ font-family: monospace; }

.opt:before, opt:before	{ font-family: serif;	font-style: normal; content: "\2018"; }
.opt:after,  opt:after	{ font-family: serif;	font-style: normal; content: "\2019"; }
.opt, opt			{ font-family: monospace; }

.lsq:before, lsq:before	{ content: "\2018";	}
.lsq:after, lsq:after	{ content: "\2019"; }

.lq:before, lq:before	{ content: "\201C"; }
.lq:after, lq:after		{ content: "\201D"; }

.key, key	{
	font-family: sans-serif;
	text-transform: uppercase;
	padding-left: 1ex;
	padding-right: 1ex;
	font-style: normal;
	font-size: 76%;
	font-weight: bold;

	background-color: #b0b0b0;
	border-top: 2px solid #e0e0e0;
	border-left: 2px solid #e0e0e0;
	border-bottom: 2px solid black;
	border-right: 2px solid black;

/*	border: medium outset; */
	}

command, .command	{ font-family: monospace; }
env,	 .env		{ font-family: monospace; }
email,	 .email		{ font-family: monospace; font-weight: bold; }
url,	 .url		{ font-family: monospace; font-weight: bold; }

/*
*	bibliography 
*/
.eitem	{					/* just a link */
	font-style: italic;
	margin-left: 3em;
	text-indent: -3em;
	}
p.eitem a		{
	color: blue;
	text-decoration: underline;
	font-weight: bold;
	}
.eitem code:before	{ font: 130% sans-serif; content: "["; }
.eitem code:after	{ font: 130% sans-serif; content: "]"; }
.eitem code			{ font: 100% sans-serif; }

.bibitem, .bibliography p {	/* typical item */
	font-style: italic;
	margin-left: 3em;
	text-indent: -3em;
	}
p.bibitem a, .bibliography a {
	color: #204060;
/*	text-decoration: underline; */
	text-decoration: none;
	font-weight: bold;
	}

p.bibitem:first-line, .bibliography p:first-line {
	color: #707000;
	font-weight: bold;
	font-family: sans-serif;
	font-size: 1.1em;
/*	text-decoration: underline; */
	}

.bibitem code:before, .bibliography code:before,
.bibitem a[name]:before, .bibliography a[name]:before,
.eitem code:before
{ font: 120% sans-serif; content: "["; }

.bibitem code:after,  .bibliography code:after,
.bibitem a[name]:after,  .bibliography a[name]:after,
.eitem code:after
{ font: 120% sans-serif; content: "]"; }

.bibitem code,        .bibliography code,
.bibitem a[name],        .bibliography a[name],
.eitem code		{ font: lighter 100% sans-serif; vertical-align: center; }

/*
*	glossary 
*/
.glossary dl {
	margin-left: 2em;
	}

/* ---------------------------------- */
/* TexInfo -> HTML                    */
/* Navigation bar (div with table)    */
/* ---------------------------------- */
div.T2HNAV {
	float: right;
	}
.T2HNAV td {
	font-size: 0.8em;
	}

/* ---------------------------------- */
/* finaly                             */
/* ---------------------------------- */

body {
	background-image: url(guide.png);
	}

/* IE 5-6 bug & fix */
* html		{ font-size: 11px; font-family: verdana; }
* html li	{ font-size: 11px; font-family: verdana; }
* html td	{ font-size: 11px; font-family: verdana; }
* html th	{ font-size: 11px; font-family: verdana; }
* html caption { font-size: 11px; font-family: verdana; }
* html body { font-size: 11px; font-family: verdana; }