body {
	font-family: sans-serif, helvetica;
	color: black;
	background: white;
/*	margin: 0px;*/
	padding: 0px;
}

div.body {
	font-family: sans-serif, helvetica;
	margin: 10px;
}

th, td, p, li, h1, h2, h3, h4, h5, h6, b, i, ul, a { /* ns 4-nek kell */
	/* ie-nél a "helvetica, sans-serif" gondot okozhat */
	/* ns 4-nél a "sans-serif" nem működik a latin2-vel */
	/* lehetne még "arial, helvetica, sans-serif" */
	font-family: sans-serif, helvetica;
}

dt {
	font-weight: bold;
}

div.TOC dt {
	font-weight: normal;
}

div.TOC {
	background: #ddd;
	margin: 10px 0px 10px 0px;
	padding: 10px;
	line-height: 1.3em;
	border: none;	/* ns 4-nek kell */
}
div.ABSTRACT {
	font-size: small;
}

h1 { font-size: 210%; font-weight: normal } /*; text-align: center }*/
h2 { font-size: 150%; font-weight: normal }
h3 { font-size: 120%; font-weight: normal }
h4 { font-size: 100%; font-weight: bold }
h5 { font-size: 100%; font-style: italic }
h6 { font-size: 100%; font-variant: small-caps }

h1 {
	margin-top: 0.5em;
	margin-bottom: 1em;
}

h2, h3, h4, h5, h6 {
	margin-top: 1em;
	margin-bottom: 10px;
}

table {
	margin: 0px, 0px, 0px, 0px;
}

li {
	margin-top: 5px;
}

address {
	text-align: right;
}

tt, code, pre {
	font-family: monospace, courier new;
}

div.telegram {
	font-family: monospace;
	margin-left: 4px;
}

div.telegram p {
	font-family: monospace;
}

.topbar {
	color:  white;
	background: black;
}

.toplogo {
	color:  white;
	background: black;
	text-align: right;
}

div.exmp {
	background: #ddd;
	margin: 10px 0px 10px 0px;
	padding: 10px;
	line-height: 1.3em;
	border: none;	/* ns 4-nek kell */
}

td.subsubsite :link { color: #f00; background: transparent }
td.subsubsite :visited { color: #b00; background: transparent }
td.subsubsite :active { color: #C00; background: transparent }

td.subsite :link { color: #f00; background: transparent }
td.subsite :visited { color: #b00; background: transparent }
td.subsite :active { color: #C00; background: transparent }

td.topbar :link { color: #f00; background: transparent }
td.topbar :visited { color: #b00; background: transparent }
td.topbar :active { color: #C00; background: transparent }

img.minilogo {
	margin-bottom: -1px;
}

td.narrowbar {
	font-size: 8px;
}

td.narrowbarmenu {
	font-size: 8px;
	background: #333333;
	color: white;
}

td.subsite {
	background: #333333;
	color: white;
}

td.subsubsite {
	font-size: small;
	background: #222222;
	margin-left: 1em;
	color: white;
	line-height: 1.3em;
}

.subsitelink {
	margin-left: 1em;
	font-size: small;
}

.languagesel {
	text-align: right;
	font-size: small;
}