/* Common stylesheet for all the pages on alexkon's website.
   Current ("non-advanced") version.  */

.toptip {
	background-color: #f0e68c;
	border-bottom: 1px solid #bdb76b;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	margin: 0px 0px 16px 0px;
	padding: 16px;
}

body {
	background : white;
	color : black;
	margin: 0px;
	padding: 0px;
}

div.document {
	margin-left : 15%;
	margin-right : 15%;
}

a[href]:link {
	color : #0000a0;
}
a[href]:visited {
	color : #721872;
}
a[href]:focus, a[href]:active {
	color : #bc0000;
}


.author { 
	text-align  : center;
	margin-bottom : 0;
	font-size : larger;
}

h1 {
	margin-top : 0;
	font-size : 200%;
	font-weight : normal;
	text-align : center;
}


.dedication  {
	margin-left : 55%;
	margin-right : 2em;
	font-style : italic;
	text-align : right;
}

.epigraph {	
	font-style : italic;
}

p.epigraph {	
	margin-left : 55%;
	margin-right : 2em;
	text-align : right;
}

blockquote.epigraph {
	font-size : smaller;
	margin-left : 40%;
	margin-right : 0;
	padding-left : 0;
}

.epigraph p {
	text-indent : 2em;
	margin-top : 0;
	margin-bottom : 0;
}

.version {
	text-align : center;
}

.section-title {
	font-weight : bold;
	margin-top : 1em;
	margin-bottom : 0.5em;
	text-align : center;
	text-indent : 0;
}

.subtitle-short, .subtitle-long {
	text-align : center;
	margin-left : 15%;
	margin-right : 15%;
	text-indent : 0;
}

.subtitle-long {
	font-size : smaller;
	text-indent : 0;
}

.abstract {
	margin-left : 2em;
	margin-right : 2em;
}
.abstract h2 {
	font-size : 100%;
	font-weight : bold;
	margin-left : 0;
	margin-bottom : 0.2em;
}
.abstract p {
	margin-top : 0;
	margin-bottom : 0.5em;
}

div.section {
	margin-bottom : 2em;
}

h2 {
	font-size : 150%;
	font-weight : normal;
	text-align : left;
	margin-left: 1.333em;
}

h3 {
	font-size : 120%;
	font-weight : normal;
	margin-left : 1.667em;
}

h4 {
	font-size : 90%;
	font-weight : bold;
	margin-left : 2.222em;
}

.body p {
	text-indent : 2em;
}

td.news {
	padding-left : 2em;
	font-size : smaller;
	vertical-align : top;
	width : 30%;
}

div.news .date {
	font-weight : bold;
}

div.news p {
	text-indent : 0;
}

div.news a {
	font-weight : bold;
}

td.left-near-sidebar {
	padding-right : 1em;
}

td.contents {
	font-size : smaller;
	vertical-align : top;
	width : 40%;
}

td.contents div {
	padding-top : 1em;
	padding-left : 1em;
	padding-bottom : 0.5em;
	padding-right : 1em;
	background : #f0f0f0;
}

td.contents h2 {
	margin-top : 0;
	margin-bottom : 0.5em;
}

td.contents a {
	font-weight : bold;
}

td.contents ul {
	list-style-type : disc;	
	margin-left : 0;
}

td.contents li {
	margin-bottom : 0.5em;
	margin-left : 0;
}

.footer { 
	margin-top : 2em;
	text-align : center;
}

.footer hr {
	margin-top : 0;
	margin-bottom : 0;
}

.footer p {
	margin-top : 0;
	font-size : smaller;
	text-align : center;
	text-indent : 0;
}

ul {
	list-style-type : square;
}
ul, ol {
	margin-left : 2em;
	padding-left : 2em;
}
ul ul, ol ul {
	list-style-type : circle;
}


ul.light {
	list-style-type : circle;
}

ul.large > li, ul.sparse > li, ol.sparse > li {
	margin-bottom : 0.7em;
}


li.first-item-in-group {
	margin-top : 0.5em;
}

.body li p {
	text-indent : 0;
	margin-top : 0.3em;
	margin-bottom : 0.3em;
}

dl.glossary {
	margin-left : 2em;
}

dl.glossary dt {
	margin-top : 1em;
	margin-bottom : 0;
	font-weight : bold;
}

dl.glossary dd {
	padding-left : 0;
	margin-left : 4em;
	margin-top : 0
	margin-bottom : 1em;
}

dl.glossary dd ol {
	padding-left : 0;
	margin-left : 0;
}

dl.glossary dd ol li {
	padding-left : 0;
	margin-left : 0;
}

strong.keyword {
	color : #5e5e5e;
}

table.two-cols td {
	width: 50%;
	vertical-align : top;
	padding-right : 1em;
}