/* 3 column layout 1 and 3 sticky
*/
body {
	font-family: Arial, Helvetica, "sans-serif";
	width: 80em;
}
.row1, .row2 {
	padding-left: 1em;
}
.column1 {
	width: 12em;
	position: -webkit-sticky;
	position: sticky;
	top: 0;
}
.column2 {
	width: 50em;
}
.column3 {
	width: 12em;
	position: -webkit-sticky;
	position: sticky;
	top: 0;
}

.column1, .column2, .column3 {
	display: inline-block;
	vertical-align: top;
}
.column1, .column2	{
	padding-right: 1em;
}
/* header styling
*/
h1	{
	font-size: 20pt;
	font-weight: normal;
	font-family: Arial, Helvetica, "sans-serif";
	text-align: left;
}
h2	{
	font-size: 16pt;
	font-weight: normal;
	font-family: Arial, Helvetica, "sans-serif";
}
div.column3 > h2 {
	font-size: 12pt;
}
h3	{
	font-size: 14pt;
	font-weight: normal;
	font-family: Arial, Helvetica, "sans-serif";
}
/* link text is highlighted so make a little smaller
*/
a {
	font-size: 90%;
}
a.current	{
	color: lightgray;
}
.center	{
	text-align: center;
}
/* list styling
*/
ul {
        padding-left: 0;
        list-style-type: none;
	list-style-position: outside;
}
li { padding-left: 0.5em; padding-top: 0.25em;}
li:before {
    content: '-'; 
    padding-right: 2px;
}
/* list of links with image (main page so far)
*/
ul.linklist-image {
	padding-top: 50px;
        list-style-type: none;
}
ul.linklist-image > li:before {
	content: none;
}
ul.linklist-image > li {
	font-size: 90%;
}
ul.linklist-image > li > a {
	font-size: 100%;
}
/* list of links
*/
ul.linklist {
	padding-top: 205px;
        list-style-type: none;
}
ul.linklist > li {
	font-size: 90%;
}
ul.linklist > li > a {
	font-size: 100%;
}
ul.linklist > li:before {
	content: none;
}
ul.linklist-internal {
	padding-top: 0px;
        list-style-type: none;
}
ul.linklist-internal > li {
	font-size: 90%;
}
ul.linklist-internal > li > a {
	font-size: 100%;
}
ul.linklist-internal > li:before {
	content: none;
}

.sticky {
  position: -webkit-sticky;
  position: sticky;
  top: 0;
}
/* image gallery
*/
.gallery {
	vertical-align: bottom;
	text-align: center;
	font-size: 80%;
}

pre {
	font-family: courier,monospace;
	font-size: 10pt;
	font-weight: bold;
	margin-left: 2em;
	background-color: #fafafa;
	padding-top: 5px;
	padding-bottom: 5px;
}
.footer	{
	font-size: 60%;
}