 
/* start css.sty */
.cmr-5{font-size:50%;}
.cmr-7{font-size:70%;}
.cmmi-5{font-size:50%;font-style: italic;}
.cmmi-7{font-size:70%;font-style: italic;}
.cmmi-10{font-style: italic;}
.cmsy-5{font-size:50%;}
.cmsy-7{font-size:70%;}
.cmr-17{font-size:170%;}
.cmbx-12x-x-144{font-size:172%; font-weight: bold;}
.cmr-8{font-size:80%;}
.cmr-6{font-size:60%;}
.cmmi-8{font-size:80%;font-style: italic;}
.cmmi-6{font-size:60%;font-style: italic;}
.cmsy-8{font-size:80%;}
.cmsy-6{font-size:60%;}
.cmex-8{font-size:80%;}
.msbm-8{font-size:80%;}
.cmcsc-10x-x-120{font-size:120%;}
.cmr-9{font-size:90%;}
.cmbx-10{ font-weight: bold;}
.cmsl-10{ font-style: oblique;}
.cmsl-9{font-size:90%; font-style: oblique;}
.cmtt-10{font-family: monospace;}
.cmti-10{ font-style: italic;}
.cmtt-8{font-size:80%;font-family: monospace;}
.cmti-8{font-size:80%; font-style: italic;}
.cmti-9{font-size:90%; font-style: italic;}
.cmtt-9{font-size:90%;font-family: monospace;}
.cmsltt-10{ font-style: oblique; font-family: monospace;}
.cmbx-9{font-size:90%; font-weight: bold;}
.cmssi-9{font-size:90%; font-style: italic; font-family: sans-serif;}
.cmss-10{  font-family: sans-serif;}
.cmss-9{font-size:90%;  font-family: sans-serif;}
.cmsy-9{font-size:90%;}
.cmmi-9{font-size:90%;font-style: italic;}
.cmss-8x-x-87{font-size:69%;  font-family: sans-serif;}
.cmss-8x-x-62{font-size:49%;  font-family: sans-serif;}
.cmbx-8{font-size:80%; font-weight: bold;}
.cmbx-12{font-size:120%; font-weight: bold;}
.cmbxsl-10{ font-weight: bold; font-style: oblique;}
.cmcsc-10x-x-90{font-size:90%;}
.cmssbx-10{font-weight: bold;}
.cmssi-10{ font-style: italic; font-family: sans-serif;}
.cmsltt-10x-x-90{font-size:90%; font-style: oblique; font-family: monospace;}
.cmssbx-10x-x-90{font-size:90%;font-weight: bold;}
.cmbxti-10{ font-weight: bold; font-style: italic;}
.cmtt-8x-x-87{font-size:69%;font-family: monospace;}
.cmsl-8{font-size:80%; font-style: oblique;}
.cmssi-8{font-size:80%; font-style: italic; font-family: sans-serif;}
.cmbx-5{font-size:50%; font-weight: bold;}
.cmsltt-10x-x-80{font-size:80%; font-style: oblique; font-family: monospace;}
.cmcsc-10x-x-144{font-size:144%;}
.small-caps{font-variant: small-caps; }
.htf-cmbx {font-weight: bold; font-style:normal;}
.htf-calligraphy {font-family:cursive}
sup {font-size: 70%; vertical-align: top; }
sub {font-size: 70%; vertical-align: bottom; }
p.noindent { text-indent: 0em; TEXT-ALIGN: justify; }
p.nopar { text-indent: 0em; TEXT-ALIGN: justify; }
p.indent{ text-indent: 1.5em; TEXT-ALIGN: justify; }
p.indent .cmr-9, p.indent .cmti-9, p.indent .cmsl-9, p.indent .cmss-9, p.indent .cmssi-9, p.indent .cmsy-9, p.indent .cmmi-9, p.indent .cmbx-9, p.indent .cmtt-9 {font-size:100%;}
a img { border-top: 0; border-left: 0; border-right: 0; }
center { margin-top:1em; margin-bottom:1em; }
td center { margin-top:0em; margin-bottom:0em; }
.Canvas { position:relative; }
div.displaymath{text-align:center;}
.obeylines-h,.obeylines-v {white-space: nowrap; }
.underline{ text-decoration:underline; }
.overline{ text-decoration:overline; }
div.verbatim {font-family: monospace; white-space: nowrap; }
div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em; margin-top:0.5em; margin-bottom:0.5em;}
div.center div {text-align: left;}
div.flushright, div.flushright div.flushright {text-align: right;}
div.flushright div {text-align: left;}
div.flushleft {text-align: left;}
div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em;}
div.td00{ margin-left:0pt; margin-right:0pt; }
div.td01{ margin-left:0pt; margin-right:5pt; }
div.td10{ margin-left:5pt; margin-right:0pt; }
div.td11{ margin-left:5pt; margin-right:5pt; }
div.date { margin-bottom: 5em; }
div.tableofcontents { margin-top: 5em; margin-bottom: 5em; }
td.td00{ padding-left:0pt; padding-right:0pt; }
td.td01{ padding-left:0pt; padding-right:5pt; }
td.td10{ padding-left:5pt; padding-right:0pt; }
td.td11{ padding-left:5pt; padding-right:5pt; }
.hline hr, .cline hr{ height : 1px; }
li p.indent { text-indent: 0em }
div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
span.LATEX span.TEX{ position:relative; left: -0.4em; }
.marginpar {float:right; text-align:right; margin-left:1em; margin-top:0; font-size:85%; text-decoration:none; color:blue;}
span.footnotetext{ font-size:80%; font-style:italic; } 
td.eqnarray4 { width:5%; white-space: normal; }
td.eqnarray2 { width:5%; }
table.eqnarray-star, table.eqnarray {width:100%;}
.underline{ text-decoration:underline; }
.overline{ text-decoration:overline; }
.equation td{text-align:center; }
td.equation { margin-top:1em; margin-bottom:1em; } 
span.pmatrix img{vertical-align:middle;}
.Index {line-height: 300%; font-weight:bold; font-size:140%; }
.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:130%;}
.chapterToc, .chapterToc a, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {line-height: 160%; font-weight:bold; font-size: 120%;}
.sectionToc, .sectionToc a {line-height: 150%; font-weight:bold; font-size: 110%; }
.subsectionToc, .subsectionToc a {line-height: 130%; font-weight:normal; font-size: 105%; }
.subsubsectionToc, .subsubsectionToc a {line-height: 110%; font-weight:normal; font-size: 100%; }
h1.partHead{text-align: center}
h1.partHead .titlemark{line-height: 300%; font-size:80%;}
p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
.subparagraphHead, .likesubparagraphHead { font-weight: bold;}
.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
.caption td.id{font-weight: bold; white-space: nowrap; }
.verse{white-space:nowrap; margin-left:2em}
h2.titleHead{text-align: center; margin-bottom: 1em; font-size: 200%; }
h2.version{text-align: center; margin-bottom: 3em; font-size: 70%;}
h2.appendixHead{margin-bottom: 3em; font-size: 200%; }
h2.chapterHead, h2.likechapterHead {margin-bottom: 3em; font-size: 200%; }
h3.sectionHead, h3.likesectionHead {margin-bottom: 1em; font-size: 170%; }
h4.subsectionHead, h4.likesubsectionHead {margin-bottom: 1em; font-size: 130%; }
h5.subsubsectionHead, h5.likesubsubsectionHead {margin-bottom: 0.5em; font-size: 110%; }
div.maketitle{ margin-bottom: 2em; }
div.thanks{text-align:left; margin-left:10%; font-size:80%; font-style:italic; }
.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; font-size: 95%; }
.figure img.graphics {margin-left:10%;}
.equation td{text-align:center; }
h2.chapterHead .titlemark {line-height: 300%; font-size:80%;}
h2.appendixHead .titlemark {line-height: 300%; font-size:80%;}
table.align, table.alignat, table.xalignat, table.xxalignat, table.flalign, table.align-star, table.alignat-star, table.xalignat-star, table.flalign-star {width:100%; white-space: nowrap;}
td.align-label { width:5%; }
td.align-odd { text-align:right; padding-right:0.3em;}
td.align-even { text-align:left; padding-right:0.6em;}
td.gather-star, td.gather1 {text-align:center; }
div.boxedminipage{border : 1px solid; margin-top:1pt; margin-bottom:1pt;}
 body { padding: 2em 12% 2em 12%; margin: 0; font-family: sans-serif; color: black; background: white; background-position: top left; background-attachment: fixed; background-repeat: no-repeat; background-image: url(InfoLinuxLabel.png); line-height: 150%; font-size: 14px; text-align: justify;}
/* url(http://vandali.org/DanieleMasini/images/InfoLinuxLabel.png) */	 
 pre { text-align: left;} 
 .figure img.graphics { margin-left: 0px; } 
 td.figure { text-align: center; } 
 hr { border: 0; width: 100%; height: 2px; color: #999; background-color: #999; } 
A
{
	text-decoration: none;
	color: #0505dd;
	background-color: transparent;
}

A:visited
{
	color: #010199;
	background-color: transparent;
}

A:hover
{
	color: #ffff88;
	background-color: #3366dd;
}

/*
a { font-weight:bold; color: blue; text-decoration: none; } 
 a:hover { color: blue; text-decoration: underline; } 
 a:visited { color: darkblue; } 
*/

a.footnote:hover
{
/*	color: #ffff88; */
/*	font-weight: bold; */
	color: #3366dd;
/*	border:solid 1px #3366dd; */
}
 
 span.boxedminipage ul.descriptionstar { list-style-type: none; text-indent: -3em; } 
 ul.basedescript { list-style-type: none; text-indent: -3em; } 
 ul.itemizestar { list-style-type: none; } 
 ul.itemize { list-style-type: none; } 
 div.lstlisting-plain { font-size: 90%; text-align: center; margin: 0px 20px 0px 20px; padding: 0px 7px 0px 7px; } 
 div.lstlisting-plain span.linenum { display: none; } 
 div.lstlisting-lines { font-size: 90%; text-align: center; margin: 3px 20px 3px 20px; padding: 3px 7px 3px 7px; border-top: 3px double black; border-bottom: 3px double black; } 
 div.tabular { text-align: center; margin: 7px 20px 7px 20px; padding: 7px 7px 7px 7px; } 
 div.prototype { font-size: 15px; margin: 15px 40px 15px 40px; background: #fee; padding: 7px 12px 0px 12px; border: 1px solid #ccc; } 
 div.functions { font-size: 15px; margin: 15px 40px 15px 40px; background: #fee; padding: 7px 12px 12px 12px; border: 1px solid #ccc; } 
 div.verbatim { text-align: left; font-size: 15px; background: #eee; margin: 15px 15px 15px 15px; padding: 7px 20px 7px 20px; border: 1px solid #ccc; } 
/* .js {text-indent:0; background:#efefff; color:#000050; border:solid 1px #000050; margin:2pt 2pt; width:99%;} */
.js {}
/* .js p, .js p.bibitem, .js p.bibitem-p {text-indent:0; background:#efefff; color:#000050; margin:2pt;} */
.js p, .js p.bibitem, .js p.bibitem-p {}
span#textcolor1{color:#FF0000}
span#textcolor2{color:#FF0000}
span#textcolor3{color:#FF0000}
span#textcolor4{color:#FF0000}
span#textcolor5{color:#FF0000}
span#textcolor6{color:#FF0000}
span#textcolor7{color:#FF0000}
span#textcolor8{color:#FF0000}
span#textcolor9{color:#FF0000}
span#textcolor10{color:#FF0000}
span#textcolor11{color:#FF0000}
span#textcolor12{color:#FF0000}
span#textcolor13{color:#FF0000}
span#textcolor14{color:#FF0000}
span#textcolor15{color:#FF0000}
span#textcolor16{color:#FF0000}
span#textcolor17{color:#FF0000}
span#textcolor18{color:#FF0000}
span#textcolor19{color:#FF0000}
span#textcolor20{color:#FF0000}
span#textcolor21{color:#FF0000}
span#textcolor22{color:#FF0000}
span#textcolor23{color:#FF0000}
span#textcolor24{color:#FF0000}
span#textcolor25{color:#FF0000}
span#textcolor26{color:#FF0000}
span#textcolor27{color:#FF0000}
span#textcolor28{color:#FF0000}
span#textcolor29{color:#FF0000}
span#textcolor30{color:#FF0000}
span#textcolor31{color:#FF0000}
span#textcolor32{color:#FF0000}
span#textcolor33{color:#FF0000}
span#textcolor34{color:#FF0000}
span#textcolor35{color:#FF0000}
span#textcolor36{color:#FF0000}
span#textcolor37{color:#FF0000}
span#textcolor38{color:#FF0000}
span#textcolor39{color:#FF0000}
span#textcolor40{color:#FF0000}
span#textcolor41{color:#FF0000}
span#textcolor42{color:#FF0000}
span#textcolor43{color:#FF0000}
span#textcolor44{color:#FF0000}
span#textcolor45{color:#FF0000}
span#textcolor46{color:#FF0000}
span#textcolor47{color:#FF0000}
span#textcolor48{color:#FF0000}
span#textcolor49{color:#FF0000}
span#textcolor50{color:#FF0000}
span#textcolor51{color:#FF0000}
span#textcolor52{color:#FF0000}
span#textcolor53{color:#FF0000}
span#textcolor54{color:#FF0000}
span#textcolor55{color:#FF0000}
span#textcolor56{color:#FF0000}
span#textcolor57{color:#FF0000}
span#textcolor58{color:#FF0000}
span#textcolor59{color:#FF0000}
span#textcolor60{color:#FF0000}
span#textcolor61{color:#FF0000}
span#textcolor62{color:#FF0000}
span#textcolor63{color:#FF0000}
span#textcolor64{color:#FF0000}
span#textcolor65{color:#FF0000}
span#textcolor66{color:#FF0000}
span#textcolor67{color:#FF0000}
span#textcolor68{color:#FF0000}
span#textcolor69{color:#FF0000}
span#textcolor70{color:#FF0000}
span#textcolor71{color:#FF0000}
span#textcolor72{color:#FF0000}
span#textcolor73{color:#FF0000}
span#textcolor74{color:#FF0000}
span#textcolor75{color:#FF0000}
span#textcolor76{color:#FF0000}
span#textcolor77{color:#FF0000}
span#textcolor78{color:#FF0000}
span#textcolor79{color:#FF0000}
span#textcolor80{color:#FF0000}
span#textcolor81{color:#FF0000}
span#textcolor82{color:#FF0000}
span#textcolor83{color:#FF0000}
span#textcolor84{color:#FF0000}
span#textcolor85{color:#FF0000}
span#textcolor86{color:#FF0000}
span#textcolor87{color:#FF0000}
span#textcolor88{color:#FF0000}
span#textcolor89{color:#FF0000}
span#textcolor90{color:#FF0000}
span#textcolor91{color:#FF0000}
span#textcolor92{color:#FF0000}
span#textcolor93{color:#FF0000}
span#textcolor94{color:#FF0000}
span#textcolor95{color:#FF0000}
span#textcolor96{color:#FF0000}
span#textcolor97{color:#FF0000}
span#textcolor98{color:#FF0000}
span#textcolor99{color:#FF0000}
span#textcolor100{color:#FF0000}
span#textcolor101{color:#FF0000}
span#textcolor102{color:#FF0000}
span#textcolor103{color:#FF0000}
span#textcolor104{color:#FF0000}
span#textcolor105{color:#FF0000}
span#textcolor106{color:#FF0000}
span#textcolor107{color:#FF0000}
span#textcolor108{color:#FF0000}
span#textcolor109{color:#FF0000}
span#textcolor110{color:#FF0000}
span#textcolor111{color:#FF0000}
span#textcolor112{color:#FF0000}
span#textcolor113{color:#FF0000}
span#textcolor114{color:#FF0000}
span#textcolor115{color:#FF0000}
span#textcolor116{color:#FF0000}
span#textcolor117{color:#FF0000}
span#textcolor118{color:#FF0000}
span#textcolor119{color:#FF0000}
span#textcolor120{color:#FF0000}
span#textcolor121{color:#FF0000}
span#textcolor122{color:#FF0000}
span#textcolor123{color:#FF0000}
span#textcolor124{color:#FF0000}
span#textcolor125{color:#FF0000}
span#textcolor126{color:#FF0000}
span#textcolor127{color:#FF0000}
span#textcolor128{color:#FF0000}
span#textcolor129{color:#FF0000}
span#textcolor130{color:#FF0000}
span#textcolor131{color:#FF0000}
span#textcolor132{color:#FF0000}
span#textcolor133{color:#FF0000}
span#textcolor134{color:#FF0000}
span#textcolor135{color:#FF0000}
span#textcolor136{color:#FF0000}
span#textcolor137{color:#FF0000}
span#textcolor138{color:#FF0000}
span#textcolor139{color:#FF0000}
span#textcolor140{color:#FF0000}
span#textcolor141{color:#FF0000}
span#textcolor142{color:#FF0000}
span#textcolor143{color:#FF0000}
span#textcolor144{color:#FF0000}
span#textcolor145{color:#FF0000}
span#textcolor146{color:#FF0000}
span#textcolor147{color:#FF0000}
span#textcolor148{color:#FF0000}
span#textcolor149{color:#FF0000}
span#textcolor150{color:#FF0000}
span#textcolor151{color:#FF0000}
span#textcolor152{color:#FF0000}
span#textcolor153{color:#FF0000}
span#textcolor154{color:#FF0000}
span#textcolor155{color:#FF0000}
span#textcolor156{color:#FF0000}
span#textcolor157{color:#FF0000}
span#textcolor158{color:#FF0000}
span#textcolor159{color:#FF0000}
span#textcolor160{color:#FF0000}
span#textcolor161{color:#FF0000}
span#textcolor162{color:#FF0000}
span#textcolor163{color:#FF0000}
span#textcolor164{color:#FF0000}
span#textcolor165{color:#FF0000}
span#textcolor166{color:#FF0000}
span#textcolor167{color:#FF0000}
span#textcolor168{color:#FF0000}
span#textcolor169{color:#FF0000}
span#textcolor170{color:#FF0000}
span#textcolor171{color:#FF0000}
span#textcolor172{color:#FF0000}
span#textcolor173{color:#FF0000}
span#textcolor174{color:#FF0000}
span#textcolor175{color:#FF0000}
span#textcolor176{color:#FF0000}
span#textcolor177{color:#FF0000}
span#textcolor178{color:#FF0000}
span#textcolor179{color:#FF0000}
span#textcolor180{color:#FF0000}
span#textcolor181{color:#FF0000}
span#textcolor182{color:#FF0000}
span#textcolor183{color:#FF0000}
span#textcolor184{color:#FF0000}
span#textcolor185{color:#FF0000}
span#textcolor186{color:#FF0000}
span#textcolor187{color:#FF0000}
span#textcolor188{color:#FF0000}
span#textcolor189{color:#FF0000}
span#textcolor190{color:#FF0000}
span#textcolor191{color:#FF0000}
span#textcolor192{color:#FF0000}
span#textcolor193{color:#FF0000}
span#textcolor194{color:#FF0000}
span#textcolor195{color:#FF0000}
span#textcolor196{color:#FF0000}
span#textcolor197{color:#FF0000}
span#textcolor198{color:#FF0000}
span#textcolor199{color:#FF0000}
span#textcolor200{color:#FF0000}
span#textcolor201{color:#FF0000}
span#textcolor202{color:#FF0000}
span#textcolor203{color:#FF0000}
span#textcolor204{color:#FF0000}
span#textcolor205{color:#FF0000}
span#textcolor206{color:#FF0000}
span#textcolor207{color:#FF0000}
span#textcolor208{color:#FF0000}
span#textcolor209{color:#FF0000}
span#textcolor210{color:#FF0000}
span#textcolor211{color:#FF0000}
span#textcolor212{color:#FF0000}
span#textcolor213{color:#FF0000}
span#textcolor214{color:#FF0000}
span#textcolor215{color:#FF0000}
span#textcolor216{color:#FF0000}
span#textcolor217{color:#FF0000}
span#textcolor218{color:#FF0000}
span#textcolor219{color:#FF0000}
span#textcolor220{color:#FF0000}
span#textcolor221{color:#FF0000}
span#textcolor222{color:#FF0000}
span#textcolor223{color:#FF0000}
span#textcolor224{color:#FF0000}
span#textcolor225{color:#FF0000}
span#textcolor226{color:#FF0000}
span#textcolor227{color:#FF0000}
span#textcolor228{color:#FF0000}
span#textcolor229{color:#FF0000}
span#textcolor230{color:#FF0000}
span#textcolor231{color:#FF0000}
span#textcolor232{color:#FF0000}
span#textcolor233{color:#FF0000}
span#textcolor234{color:#FF0000}
span#textcolor235{color:#FF0000}
span#textcolor236{color:#FF0000}
span#textcolor237{color:#FF0000}
span#textcolor238{color:#FF0000}
span#textcolor239{color:#FF0000}
span#textcolor240{color:#FF0000}
span#textcolor241{color:#FF0000}
span#textcolor242{color:#FF0000}
span#textcolor243{color:#FF0000}
span#textcolor244{color:#FF0000}
span#textcolor245{color:#FF0000}
span#textcolor246{color:#FF0000}
span#textcolor247{color:#FF0000}
span#textcolor248{color:#FF0000}
span#textcolor249{color:#FF0000}
span#textcolor250{color:#FF0000}
span#textcolor251{color:#FF0000}
span#textcolor252{color:#FF0000}
span#textcolor253{color:#FF0000}
span#textcolor254{color:#FF0000}
span#textcolor255{color:#FF0000}
span#textcolor256{color:#FF0000}
span#textcolor257{color:#FF0000}
span#textcolor258{color:#FF0000}
span#textcolor259{color:#FF0000}
span#textcolor260{color:#FF0000}
span#textcolor261{color:#FF0000}
span#textcolor262{color:#FF0000}
span#textcolor263{color:#FF0000}
span#textcolor264{color:#FF0000}
span#textcolor265{color:#FF0000}
span#textcolor266{color:#FF0000}
span#textcolor267{color:#FF0000}
span#textcolor268{color:#FF0000}
span#textcolor269{color:#FF0000}
span#textcolor270{color:#FF0000}
span#textcolor271{color:#FF0000}
span#textcolor272{color:#FF0000}
span#textcolor273{color:#FF0000}
span#textcolor274{color:#FF0000}
span#textcolor275{color:#FF0000}
span#textcolor276{color:#FF0000}
span#textcolor277{color:#FF0000}
span#textcolor278{color:#FF0000}
span#textcolor279{color:#FF0000}
span#textcolor280{color:#FF0000}
span#textcolor281{color:#FF0000}
span#textcolor282{color:#FF0000}
span#textcolor283{color:#FF0000}
span#textcolor284{color:#FF0000}
span#textcolor285{color:#FF0000}
span#textcolor286{color:#FF0000}
span#textcolor287{color:#FF0000}
/* end css.sty */

