/*
 * styles for my home page research pages. the aim is to have the
 * document look like a retro printed document (combination of courier
 * monospaced font, margins on all sides and double spacing of lines)!
 * Links are highlighted as if by a highlighting pen.
 *
 * Copyright (c) 2007, Eric S Fraga
 */
body { 
    font-family: courier, charter, serif, arial, helvetica, sans;
    line-height: 150%;
/*    font-size: 120%;*/
    color: black;
    margin-left: 5%;
    margin-right: 5%;
    margin-top: 5%;
/*    background: #faf0e6;  /* linen */
    background: white; 
}

/* ------------------------------------------------- */
/* heading styles */
/* ------------------------------------------------- */

h1 {
/*  background-color: #f0f0f0;*/
  color: #aa4040; 
/*  padding: 0.5ex; */
  padding-bottom: 2ex;
  /* border-style: solid;  */
  /* border-width: thin; */
  /*  text-indent: -5%;*/
  /* text-align: center; */
  /* font-size: 16pt; */
  /*  text-decoration: underline;*/ 
}
h2 {
    /*  padding: 0.5ex;*/
    /*  background-color: #f0f0f0;*/
    color: #4040aa;
    /* font-size: 14pt;*/
    /*  text-decoration: underline;*/
}
h3,h4,h5,h6 {
    /*  padding: 0.5ex;*/
    /*  background-color: #f0f0f0;*/
    color: #4040aa;
    /*  text-decoration: underline;*/
}

/* ------------------------------------------------- */
/* paragraph styles */
/* ------------------------------------------------- */

p {
    margin-left: 3ex;
    text-align: justify;
/*
  text-indent: 3ex;
*/
}
p.first { text-indent: 0; }

p.figure {
    font-size: 80%;
    font-family: bookman, sans-serif;
}

p.image { /* used for non-captioned images */
    text-align: right;
}

p.image-link { /* used for the older version of muse which doesn't use tables */
    text-align: center;
}

p.small {
    font-size: small;
}

p.footer {
    color: #cccccc;
    font-size: x-small;
    line-height: 100%;
    padding-top: 3ex;
    text-align: right;
}

p.footnote {
    font-size: small;
    line-height: 100%;
    margin-left: 8ex;
    text-indent: -5ex;
}

pre {
    position: relative;
    overflow: auto;
    background-color: #FFF5F5;
}
code {
    background-color: #FFF5F5;
}
.src:after {
    position: relative;
    right: -10px;
    bottom: -15px;
    background: #ffffff;
    padding: 1px;
    border: 1px solid #000000;
    font-size: small;
}
/* .src-julia:after { content: 'Julia';} */
pre.example { 
    /* background-color: #f0f0f0; */
    border: black solid thin;
    color: black;
    /*
  font-weight: bold 
   */
    line-height: 100%; /* single spacing */
    margin-left: 10ex; /* indent by 7ex relative to main text basically */
    margin-right: 7ex; /* ditto from right */
    padding: 1ex;	     /* give some space within box boundaries */
    text-size: small;
}
/* em { font-style: italic; font-weight: bold } */
/* strong { text-transform: uppercase; font-weight: bold } */
/*ol, ul, dl { */
/*    font-family: bookman, sans-serif;*/
/*    font-size: 14pt;*/
/*}*/

/* ------------------------------------------------- */
/* table styles */
/* ------------------------------------------------- */

td { padding: 0.5ex; }

td.image-caption { 
    /*   border: thin solid red; */
    background-color: #f0f0f0;
    font-size: small;
    /*
   padding-left: 10ex;
   padding-right: 10ex;
   padding-top: 1ex;
   padding-bottom: 1ex;
   */
    text-align: left;
}
table {
    padding-left: 10%;
    padding-right: 10%;
/*
  padding: 10ex;
  text-align: center;
  margin-left: 3ex;
  margin-right: -3ex;
*/
}

table.box {
    border: solid;
    border-width: thin;
}

/*
table.image {
  text-width: 80%;
  border: solid;
  border-width: thin;
}
*/

/* ------------------------------------------------- */
/* image styles */
/* ------------------------------------------------- */

/*

img {
  border: dotted;
  border-width: thin;
}

img.box {
  border: solid;
  border-width: thin;
}

*/

/* ------------------------------------------------- */
/* list styles */
/* ------------------------------------------------- */

li { 
    margin-left: 3ex;
    text-align: justify;
}

dt { margin-left: 3ex; }
dd { margin-left: 6ex; }

div.box {
    border: solid;
    border-width: thin;
    margin-left: 10%; 
    margin-right: 10%; 
    align: center;
}
.menu {
    font-size: 8pt;
    font-family: Geneva,Arial,Verdana,Sans-Serif;
    text-decoration: none;
    color: black;
    /* color: #505050; */
}

.osdn
{
    font-size: 8pt;
    font-family: Geneva,Arial,Verdana,Sans-Serif;
    text-decoration: none;
    color: #505050;
}
/*

*/
td {
    /*  font-family: arial, helvetica, sans-serif;*/
    /*  font-size: 14pt;*/
}

/* ------------------------------------------------- */
/* anchor styles */
/* ------------------------------------------------- */

a {
    color: black;
    background-color: #e8e8ff;	/* yellow: #ffff90; */
    text-decoration: none;
}
a:hover { 
    background-color: white; 
    color: blue; 
}

a.footer {
    color: #cccccc;
    background-color: white;
    text-decoration: none;
}

/*
a:visited { 
  background-color: #c0c0ff; 
  color: black;
}
*/
a:active { color: red; }
*/
/* for publications only */
.textit { font-style: italic; }