body {
  font-size: 16px;
  max-width:1000px;
  margin: 0 auto;
  color: navy;
  background: white;
}
h1.title {
  color: #CC3399;
  font-weight: bold;
  font-size: 300%;
  text-align: center;
/*  text-shadow: black 1em 1em 1em red;*/
}
h2.title_green {
  color: green;
  font-weight: bold;
  font-size: 300%;
  text-align: center;
/*  text-shadow: black 1em 1em 1em red;*/
}
h2.title {
  color: #CC3399;
  font-weight: bold;
  font-size: 200%;
  text-align: center;
/*  text-shadow: black 1em 1em 1em red;*/
}
h2.title_green {
  color: green;
  font-weight: bold;
  font-size: 200%;
  text-align: center;
/*  text-shadow: black 1em 1em 1em red;*/
}
h3.title {
  color: #CC3399;
  font-weight: bold;
  font-size: 200%;
  text-align: center;
/*  text-shadow: black 1em 1em 1em red;*/
}
h3.title.green {
  color: green;
}
h3.green {
  color: green;
}
h3.red {
  color: red;
}
h4.title {
  color: #CC3399;
  font-weight: bold;
  font-size: 150%;
  text-align: center;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.red_120 {
	color:red;
  font-size: 120%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.red_150 {
	color:red;
  font-size: 150%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.red_200 {
	color:red;
  font-size: 200%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.red_300 {
	color:red;
  font-size: 300%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.red_400 {
	color:red;
  font-size: 400%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.red_500 {
	color:red;
  font-size: 500%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.RedCenterBlink {
  color: red; /* #33CC33; */
  text-align: center;
  text-decoration: blink;
}

/* */

body.bold_bianco {
  color: navy;
  background: white;
  font-weight: bold;
}
body.Verdana {
  color: black;
  background: white;
  font-family: Verdana, sans-serif;
}
body.bold_bianco_Verdana {
  color: navy;
  background: white;
  font-family: Verdana, sans-serif;
  font-weight: bold;
}
body.bold_arancio {
  color: navy;
  background: #FF5500;
  font-family: Verdana, sans-serif;
  font-weight: bold;
}
body.arancio {
  color: black;
  background: #FF5500;
/*  font-family: Verdana, sans-serif; */
}
h1.purple_bold  {
  color: #CC3399;
  font-weight: bold;
/*  text-shadow: black 1em 1em 1em red;*/
}
h1.titolo, h1.titolo_200, h1.titolo_bold_200, h1.titolo_grande {
  color: #CC3399;
  font-weight: bold;
  font-size: 200%;
/*  text-shadow: black 1em 1em 1em red;*/
}
h1.titolo_red h1.titolo_rosso {
  color: red;
  font-weight: bold;
  font-size: 200%;
/*  text-shadow: black 1em 1em 1em red;*/
}
h1.titolo_300, h1.titolo_bold_300 {
  color: #CC3399;
  font-weight: bold;
  font-size: 300%;
/*  text-shadow: black 1em 1em 1em red;*/
}
h1.titolo_400, h1.titolo_bold_400, h1.titolo_enorme {
  color: #CC3399;
  font-weight: bold;
  font-size: 400%;
/*  text-shadow: black 1em 1em 1em red;*/
}
h1.titolo_porpora, h1.titolo_bold_porpora {
  color: porpora;
  font-weight: bold;
/*  text-shadow: black 1em 1em 1em red;*/
/*  color: fuchsia; */
}
h2.titolo, h2.titolo_blue, h2.blue, h3.blue, h4.blue  {
  color: blue;
  font-weight: bold;
}
h2.titolo_rosso {
  color: red;
  font-weight: bold;
/*  text-shadow: black 1em 1em 1em red;*/
/*  color: fuchsia; */
}
h2.titolo_verde {
  color: green;
  font-weight: bold;
/*  text-shadow: black 1em 1em 1em red;*/
/*  color: fuchsia; */
}
h3.titolo {
  color: #FF9933;
  font-weight: bold;
/*  text-shadow: black 1em 1em 1em red;*/
/*  color: fuchsia; */
}
b.normal {
  font-family: Verdana, sans-serif;
}
b.commento_arancio {
  color:#FF5500;
  text-decoration: blink;
}
b.commento, b.commento_fuchsia {
  color:fuchsia;
  text-decoration: blink;
}
b.commento_purple {
  color:purple;
  text-decoration: blink;
}
b.commento_rosso, b.commento_red {
  color:red;
  text-decoration: blink;
}
b.commento_verde {
  color:#33CC33;
  text-decoration: blink;
}
b.commento_giallo {
  color:#FF9933;
  text-decoration: blink;
}
b.section {
  color: red;
/*  color: #FF9933; */
}
b.subsection {
  color: purple;
/*  color: #FF9933; */
}
b.subsubsection {
  color: teal;
/*  color: #FF9933; */
}
b.blue_150 {
	color:blue;
  font-size: 150%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.purple { color:purple; }
b.purple_150 {
	color:purple;
  font-size: 150%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.purple_200 {
	color:purple;
  font-size: 200%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.title, b.title_200 {
  color: #CC3399;
  font-weight: bold;
  font-size: 200%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.subtitle {
  color: red;
  font-weight: bold;
  font-size: 150%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.title_large, b.title_300 {
  color: #CC3399;
  font-weight: bold;
  font-size: 300%;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.titolo {
	color: purple;
}
i.autori {
	color: red;
  font-weight: bold;
/*  color: #009966; */
}
b.red_1000, font.red_1000, i.red_1000 {
	color:red;
  font-size: 1000%;
  font-family: Verdana, sans-serif;
/*  text-shadow: black 1em 1em 1em red;*/
}
b.aqua		,div.aqua	, i.aqua    , pre.aqua		, table.aqua	, span.aqua	{ color:aqua; }
b.arancio	,div.arancio	, i.arancio , pre.arancio	, table.arancio	, span.arancio	{ color:#FF5500; }
b.black		,div.black	, i.black   , pre.black		, table.black	, span.black	{ color:black; }
b.blue		,div.blue	, i.blue    , pre.blue		, table.blue	, span.blue	{ color:blue; }
b.blu 		,div.blu 	, i.blu     , pre.blu 		, table.blu 	, span.blu 	{ color:blue; }
b.fuchsia	,div.fuchsia	, i.fuchsia , pre.fuchsia	, table.fuchsia	, span.fuchsia	{ color:fuchsia; }
b.gray		,div.gray	, i.gray    , pre.gray		, table.gray	, span.gray	{ color:gray; }
b.green		,div.green	, i.green   , pre.green		, table.green	, span.green	{ color:green; }
b.lime		,div.lime	, i.lime    , pre.lime		, table.lime	, span.lime	{ color:lime; }
b.maroon	,div.maroon	, i.maroon  , pre.maroon	, table.maroon	, span.maroon	{ color:maroon; }
b.navy		,div.navy	, i.navy    , pre.navy		, table.navy	, span.navy	{ color:navy; }
b.olive		,div.olive	, i.olive   , pre.olive		, table.olive	, span.olive	{ color:#6b6906; }
b.porpora	,div.porpora	, i.porpora , pre.porpora	, table.porpora	, span.porpora	{ color:purple; }
b.purple	,div.purple	, i.purple  , pre.purple	, table.purple	, span.purple	{ color:purple; }
b.red		,div.red	, i.red     , pre.red		, table.red	, span.red	{ color:red; }
b.rosso		,div.rosso	, i.rosso   , pre.rosso		, table.rosso	, span.rosso	{ color:red; }
b.verde		,div.verde	, i.verde   , pre.verde		, table.verde	, span.verde	{ color:green; }
b.silver	,div.silver	, i.silver  , pre.silver	, table.silver	, span.silver	{ color:silver; }
b.teal		,div.teal	, i.teal    , pre.teal		, table.teal	, span.teal	{ color:teal; }
b.white		,div.white	, i.white   , pre.white		, table.white	, span.white	{ color:white; }
b.yellow	,div.yellow	, i.yellow  , pre.yellow	, table.yellow	, span.yellow	{ color:yellow; }
div.figure {
  float: right;
  width: 25%;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: center;
}
img.icon {
  width: 25%;
}
img.small {
  height: 60px !important;
}
a:link    {                } /* unvisited links */
a:visited {                } /* visited links   */
a:hover   { color: red;    } /* user hovers     */
a:active  { color: yellow; } /* active links    */
/*
a:link img {
  border: 2px !important;
}
a:visited img {
  border: 2px solid teal !important;
}
a:hover img {
  border: 2px solid red !important;
}
a:active img {
  border: 2px solid fuchsia !important;
}
*/
a.nounderline { text-decoration: none }
b.underline { text-decoration: underline }


/* SG */
.tt{font-family:'Lucida Console', monospace;}

#filterPageElem{max-width:200px;width:30em;}

h1, h2, h3, h4 { margin:0; }
dl {margin:0;}
pre {
  font-size:80%;
  color:black;
}
.highlight{
  background-color: yellow 
}
.evidenza{
  display:block;
  margin-bottom:0.2em;
  font-size: 150%;
}
.main_content{
  text-align:center;
  display:block;
  padding:0.2em;
  vertical-align:middle;
  width:100%;
  min-width:534px;
}
.roundborders{
	border: 1px solid black;
	border-radius: 10px;
}
.roundBordersWrap{
	border: 1px solid rgba(1,1,1,0.4);
	border-radius: 10px;
}
.dashedBorders{
	border: 1px dashed rgba(1,1,1,0.7);
	padding:1em;
	display:none;
}
.bibHtm{
	margin:0;
	padding:0;
}
.halfLeftSep{
	width:49.5%;
	display:inline-block;
	text-align:right;
}
.halfRightSep{
	width:49.5%;
	display:inline-block;
	text-align:left;
}
.halfSep{
	min-width:11em;
}
dt.bullet {
	background:none no-repeat left top;
	padding-left: 15px;
	background-image:url('../img/dt1.gif');
}
/*homepage*/	
.title_wrap, .home_cont_wr{
	display:/*inline-*/block;
	text-align:center;
	padding: 0;
	margin:0;
}
.title_wrap{
	padding: 0.2em;
}
.home_title{
	cursor:pointer;
}
.home_title.active{
	background-color: rgba(1,1,1,0.05);
}
.home_title, .home_content, .home_item, .home_content_int{
	display: inline-block;
	padding: 0.8em;
	margin:0;
	text-align:center;
}
.home_item{
	margin:0.2em;
}
/* page content */
.pag_cont_wr{
	display:/*inline-*/block;
	text-align:center;
	padding: 0;
	margin:0;
}
.pag_title.active, .pag_title_noexpand.active{
	background-color: #e2e2e2;
}
.subtitle_wrap{
	padding:0.2em;
	display:inline-block;
}
.subtitle_wrap.active{
	display: block;
	text-align:center;
	margin:0.2em;
	background-color: #fcfcfc;
}
.pag_title, .pag_title_noexpand, .pag_content, .pag_item, .controlbuttons, .pag_content_int{
	display: inline-block;
	padding: 0.5em;
	margin:0;
	text-align:center;
}
.pag_title, .controlbuttons{
	cursor:pointer;
}
.pag_content, .pag_content_int{
	text-align:left;
	display:block;
}
.inputSearchForm{
  max-width:430px;
  width:50em;
}

/* to display lbl and sbl types */
.mathwr{
  display:block;
  padding:0.5em;
  margin:0.5em;
}
.math_content{
	display: inline-block;
	padding: 1em;
	margin:0;
	text-align:center;
	vertical-align:top;
}
.content_math{
	text-align:center;
	display:block;
	padding:0;
	vertical-align:top;
	width:100%;
	min-width:534px;
	margin:0 0 0 0.5em;
}

/* descriptors of search types */
.searchDescLink{
  text-align:left;
  cursor:pointer;
}
.searchDesc{
  text-align:left;
  display:none;
}

/* citations as subtitles */
.citation {
  background-color:rgba(250,230,50,0.2);
  font-style: italic;
}

.bibHtmCursor{
  cursor:pointer; 
}

label{
  cursor:pointer;
}
input[type=checkbox] {
   opacity:0;
   margin:0;
   padding:0;
   width:0;
}
input[type=checkbox]:checked + label {
   background-color: rgba(1,1,1,0.15);
}


.diBlock {display:block;}
.diIBlock{display:inline-block;}
.diNone  {display:none;}

.taLeft{text-align:left}
.taRight{text-align:right}
.taCenter{text-align:center}

.vaMiddle{vertical-align: middle;}

.headImg{ width:3em; }
.homeLinkImg{ width:2em; }
.fWB{width: 8em}

.zeroPad{padding:0;}
.zeroMarg{margin:0;}

.emptySpan{width:3em; display:inline-block;}

.goToMenu{
	padding:0;
	margin:0;
}
.goToMenu>a{
	cursor:pointer;
}
.hideAlways{
	visibility:hidden;
	padding:0;
}

#homeLink{
	background-color:white;
	z-index:10;
}
.fixedBottom{
	position: fixed;
    bottom: -1px;
    left: 0px;
}
.nav_menu{
	position:fixed;
	padding:0.2em;
	left:1em;
	bottom:0px;
	display:none;
    white-space: nowrap;
	border: 1px solid black;
	border-radius: 5px;
	text-align:left;
	font-size:120%;
	background-color:white;
	z-index:10;
}
/*
.nav_elem{
	width:100px;
	overflow:hidden;
	text-overflow:ellipsis;
}
*/
.nav_elem>a,.nav_elemE>a{
	cursor:pointer;
}

/*
@media screen and (max-width:800px){
	.nav_menu{display:none;}
}
*/
@media screen and (max-width:700px){
    .hideMobileB{
      display:none;
      visibility: hidden;
    }
/*
    .nonhideFixed{display:block;}
    .hideFixed{display:none;}
    .fixedBottom>.hideFixed{display:none;}
*/
    .fixedBottom{
		position: static;
		bottom: 0px;
	}
}
/* for the mobile version */
@media screen and (max-width:600px){   /*write your CSS-Code here*/ 
    body{
	    width:auto;
	    min-width: 250px;
    /* 	font-size: 14px; */
	    }

    .inputSearchForm{
      max-width:230px;
      width:40em;
    }
    .main_content{
	    min-width:250px;
    }
    .hideMobile{
      display:none;
      visibility: hidden;
    }
    .content_math{
	    min-width:250px;
    }
    .halfLeftSep, .halfRightSep{
	    width:100%;
	    display:block;
	    text-align:center;
    }
    dd {
	    margin-left:5px;
    }
    .pag_content_int{
	    padding: 0.3em;
    }
}