/* main body */
body{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:10pt;
  background:#FFFFFF;
  color:#000000;
};

/* base elements */
b, i, em{
  background:transparent;
};
p, div, ul, ol, td, dl{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:10pt;
  color:#000000;
};
p, blockquote{
  margin-top:4pt;
  margin-bottom:4pt;
  text-align:justify;
};
p.just, blockquote.just{
  margin-top:4pt;
  margin-bottom:4pt;
  text-align:justify;
};
pre{
  font-family: Lucida Console, Courier New, Courier, monospace;
  color:#101030;
  text-align:left;
};
/* strong elements - important text */
strong{
  font-family: Lucida Console, Courier New, Courier, monospace;
  color:#233961;
  font-weight:bold;
  background:transparent;
};
.small{
  font-size:7pt;
};
li{
/*  margin-bottom:0pt;
  text-align:justify;*/
};

li.just{
  text-align:justify;
};

/* plain text paragraph with first line indent */
p.plain{
  text-indent:20pt;
  margin-top:4pt;
  margin-bottom:4pt;
  text-align:justify;
};

/* tables */
td{
  border: 1px solid white;
};
th{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:10pt;
  background:#A0A0A0;
  color:#000000;
};

/* hyperlink */
a.pre{
  text-decoration:none;
  font-family: Courier New, Courier, monospace;
  font-weight:bold;
};
a{
  text-decoration:none;
  font-weight:bold;
};

a:link {
  color: #4045A7;
  background: transparent;
};
a:visited {
  color: #6075B1;
  xcolor: #7389A1;
  background: transparent;
};
a:active {
  xcolor: #536981;
  background: transparent;
}
a:hover{
  color:#E14933;
};

/* headers */
h1{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:20pt;
  margin-bottom:0pt;
  margin-top:-7pt;
};
h2{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:16pt;
};
h3{
  font-family: verdana, tahoma, arial, helvetica;
  margin-bottom:4pt;
  margin-top:10pt;
  font-size:13pt;
};
h4{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:11pt;
  text-indent:10pt;
  margin-bottom:2pt;
  margin-top:6pt;
};
h5{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:8pt;
  font-weight:bold;
};

/* definition - terms */
dfn{
  font-family: Lucida console, verdana, tahoma, Courier, arial, helvetica;
  font-size:10pt;
  font-weight:bold;
  font-style:normal;
};

/* function, structure description */
div.shortdescr{
  margin-left:0px;
  margin-bottom:0pt;
  margin-top:0pt;
  text-align:justify;
};
/* big description (after <h3>...</h3> */
div.descr{
  margin-top:0px;
  margin-bottom:6pt;
  margin-left:20pt;
  text-align:justify;
};
/* function, structure parameter */
div.dfn{
  font-family: Lucida console, verdana, tahoma, Courier, arial, helvetica;
  margin-top:6pt;
  margin-bottom:2pt;
  margin-left:0px;
  font-weight:bold;
  text-align:justify;
};
/* function, structure parameter description */
div.dfndescr{
  margin-left:20pt;
  margin-top:4pt;
  margin-bottom:4pt;
  text-align:justify;
};

/* navigation line at top */
div.navbar{
  color: #7389A1;
  font-size:8pt;
  margin-left:16pt;
  margin-top:0pt;
  margin-bottom:4pt;
};

/* 'see also' */
div.see{
  color: #304080;
  font-size:10pt;
  font-weight:bold;
  margin-left:20pt;
  margin-top:20pt;
  margin-bottom:0pt;
};
div.seecont{
  font-size:8pt;
  margin-left:40pt;
  width:400px;
  margin-top:0pt;
  margin-bottom:0pt;
};

/* Red Alert :) */
div.alert{
  position: absolute;
  top:0pt;
  left:0pt;
  color: #FF4080;
  font-family: Lucida console, verdana, tahoma, Courier, arial, helvetica;
  font-size:10pt;
  font-weight:bold;
  margin-right:10pt;
};

/* Red Alert внутри текста */
div.alert2{
  top:0pt;
  left:0pt;
  color: #FF4080;
  font-family: Lucida console, verdana, tahoma, Courier, arial, helvetica;
  font-size:10pt;
  font-weight:bold;
  margin-right:10pt;
};

/* Red Alert внутри внутри предложения */
.alert3{
  color: #FF4080;
  font-family: verdana, Lucida console, tahoma, Courier, arial, helvetica;
  font-weight:bold;
};

/* blue bg idea text */
div.idea{
  padding-left:4pt;
  padding-right:4pt;
  padding-top:4pt;
  padding-bottom:4pt;
  margin-left:20pt;
  margin-right:20pt;
  text-align:justify;
  text-decoration:none;
  background-color:#b3c9e1;
};

/* notes to articles */
div.articlenotes{
  text-align:right;
  margin-top:20pt;
  margin-left:10pt;
  margin-right:0pt;
};

/* about a man */
div.name{
  font-weight:bold;
  margin-top:20pt;
};
div.contacts{
  margin-left:13pt;
  font-size:10pt;
};
div.about{
  width:300pt;
  margin-left:45pt;
};

/* code samples and examples */
pre.code{
  background-color:#F0F0F0;
  padding-left:4pt;
  padding-right:4pt;
  padding-top:4pt;
  padding-bottom:4pt;
  margin-left:10pt;
  margin-top:0pt;
  margin-bottom:0pt;
};

/* syntax definition (function, structure) */
pre.syntax{
  font-family: Lucida Console, Courier New, Courier, monospace;
  color:#101030;
};

/* inline singleline code */
code{
  font-family: Lucida Console, Courier New, Courier, monospace;
  color:#000000;
};


/* inet PlugRinG styles */

div.toptitle{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:13pt;
  text-align:center;
  font-weight:bold;
};
div.top2title{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:8pt;
  text-align:center;
  text-transform:lowercase;
  padding-top:4pt;
  padding-bottom:6pt;
  font-weight:bold;
};
div.bottomtitle{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:8pt;
  text-align:center;
};
div.bottom2title{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:7pt;
  text-align:center;
  text-transform:lowercase;
};
div.lang{
  font-family: verdana, tahoma, arial, helvetica;
  font-size:8pt;
  position: absolute;
  top:2;
  left:2;
};
.table{
  background:#f0f0f0;
};
/* forms */
input, textarea, select{
  font-family: Lucida Console, Courier New, Courier, verdana, tahoma;
  font-size:10pt;
  background:#d8d8d8;
  border-style: solid;
  border-color: #c0c0c0;
};
.radio{
  background:transparent;
  border-style: solid;
  border-color: white;
};
.find{
  background:black;
  color:white;
};
