/*
 * gknauth adapted style sheet(s) from Matias.  Thank you, Matias!
 *
 * Copyright (c) 1995-2004, Matias Giovannini.
 *
 * You can use this stylesheet, in whole or in part, for
 * any purpose, provided you retain the above copyright.
 *
 * THIS WORK COMES WITH NO GUARANTEES, EITHER EXPRESSED OR IMPLIED.
 */

html, body {
	font-family: Optima, Georgia, 'Bitstream Charter', 'Luxi Serif', Charter, Palatino, Times, serif;
}

a {
	color: black;
	text-decoration: none;
}

a:hover {
	background-color: #cf9;
}

#box {
	background-color: #FFF;
/*	background-image: url(../images/tile-light.png);*/
	background-position: 0 0;
	background-repeat: repeat;
	background-attachment: fixed;
	margin: 3ex 10%;
	border: 2px solid #999;
}

#applet {
	display: none;
}

#placard {
	display: none;
}

#nav {
	font-size: 80%;
	float: left;
	width: 130px;
	margin: 0;
	padding: 10px 10px;
}

#content {
	margin: 0;
	padding: 0;
}

#sig {
	margin-left: -7%;
}

#mathmenu {
	font-size: 80%;
	margin-left: -7%;
}

body {
	color: black;
	/* background-image: url(/images/ipt_060506_light.jpg); */
	text-align: justify;
	margin-left: 2%;
	margin-right: 2%;
}

h1, h2, h3, h4, h5, h6 {
	font-weight: bold;
	text-align: left;
	margin-left: -1%;
}

h1 {
	font-size: 166%;
	margin-bottom: 1ex;
}

h1.banner {
	font-size: 166%;
	text-align: center;
	margin: 0 14% 1ex 14%;
	padding: 0.25ex 0;
	border-top: medium solid black;
	border-bottom: medium solid black;
}

h2 {
	font-size: 133%;
	margin-top: 0.5ex;
}

h3 {
	font-size: 116%;
	margin-top: 0.5ex;
}

h4, h5, h6 {
	font-size: 116%;
}

p {
	text-indent: 0em;
}

pre, code, tt, kbd, samp {
	font-family: Monaco, 'Luxi Sans', 'Andale Mono', monospace;
}

pre.poem {
	font-family: inherit;
	text-align: left;
	margin-left: 2em;
}

hr {
	color: black;
	background-color: white;
	width: 50%;
}

a:link    { color: #003399; }
a:visited { color: #660099; }
a:active  { color: #CC0033; }

a[name] {
/*
	display: none;
*/
	text-decoration: none;
}

li {
	margin: 1ex 0;
}

li p {
	margin: 0.5ex 0 0 0;
}

blockquote.epigraph {
	margin: 0 0 1ex 40%;
	text-align: right;
}

blockquote.epigraph address {
	text-align: right;
	font-style: normal;
}

blockquote.rem {
	padding: 0.5ex 0.5em;
}

blockquote.rem address {
	text-align: right;
	font-style: normal;
}

blockquote.dialog {
	margin-left: 0;
	text-indent: 0;
}

blockquote.note {
	font-size: 90%;
	width: auto;
	margin: -0.5ex -1.5em;
	padding: 0.5ex 0.5em;
    border: thin solid #CC0033;
}

blockquote.smallnote {
    font-size: 80%;
	padding: 0.5ex 0.5em;
}

q:lang(en) {
/*
	quotes: '"' '"' "'" "'";
*/
	quotes: "\201C" "\201D" "\2018" "\2019";
}

q:lang(es) {
	quotes: "\201C" "\201D" "\2018" "\2019";
}

q:before { content: open-quote; }
q:after  { content: close-quote; }

cite em {
	font-weight: bold;
}

cite.paper {
	font-style: normal;
	quotes: "\201C" '\201D' "\2018" "\2019";
}

cite.paper:before { content: open-quote; }
cite.paper:after { content: close-quote; }

cite.paper q {
	quotes: "\2018" "\2019";
}

cite.journal .issue {
	font-style: normal;
	font-weight: bold;
}

ul.itemized {
	list-style: none outside;
}

.hot {
	font-weight: bold;
	background-color: #fcc;
}

.topic {
	font-weight: bold;
	color: blue;
}

.time {
	font-weight: bold;
	color: red;
}

.navbar {
	font-size: x-small;
	text-align: left;
	letter-spacing: .2em;
	margin-left: -5%;
}

.navbar a {
	text-decoration: none;
}

li p.greek {
	display: inline;
}

/*compat*/
.greek {
	font-family: "Palatino Linotype", "TITUS Cyberbit Basic",
	             "Athena Unicode", "Cardo", "Code2000",
	             "Arial Unicode MS", Arial, serif;
}

*[lang="gr"] {
	font-family: "Palatino Linotype", "TITUS Cyberbit Basic",
	             "Athena Unicode", "Cardo", "Code2000",
	             "Arial Unicode MS", Arial, serif;
}