/* Just some basics... */

body {
 font-family: sans-serif;
 color: black;
 background: white;
 text-align: left;
}

h1, h2 {
 color: maroon;
}


span.attention {
 color: red;
 font-weight: bold;
}  

span.sem-later {
 color: grey;
 font-weight: bold;
}  

span.sem-date { 
  display: inline;
  font-weight: bold;
  color: maroon;
  padding-top: 0.5em;
}

div.sem-auth {
 display: block;
}


span.sem-author-name {
 font-weight: bold;
 color: navy;
}  

.sem-tit {
 color: grey;
 font-style: italic;
}

.sem a:link {
 color: black;
}
.sem a:visited {
 color: black;
}

span.comment {
 color: grey;
}  

/* div.clip-pr, div.clip-p, div.clip-sl { */
/*   font-weight: bold; */
/* } */

/* div.clip-group { */
/*   font-weight: bold; */
/* } */

/* span.clip-name {  */
/*   font-weight: bold; */
/* } */

/* div.clip-where { */
/* /\*   color: grey; *\/ */
/* } */

/* div.clip-head { */
/* /\*   color: grey; *\/ */
/* } */

/* div.clip-contact { */
/* /\*   color: grey; *\/ */
/* } */

/* div.clip-www { */
/*   color: grey; */
/* } */

/* div.clip-main { */
/*   margin-left: 2em; */
/*   margin-right: 2em; */
/* } */

/* div.clip-h1main { */
/*   margin-left: 2em; */
/*   margin-right: 2em; */
/* } */

/* div.clip-desc { */
/*   font-style: italic; */
/* } */

/* li.clip-cg { */
/*  color: red; */
/* } */


div.endnote {
 text-align: right;
 font-size: 0.7em;
 color: maroon;
 font-family: arial;
}

.left-aligned {
  text-align: left;
}
.right-aligned {
  text-align: right;
}

a {
 color: blue;
 text-decoration: none;
 border-style: none;
}

a:visited { 
 color: navy;
}

a:hover {
 text-decoration: underline;;
}

a:active {
 border-style: solid;
 border-width: 1px;
}


/* These three specifications make borders around links-images invisible: */

a.img { 
 color: white;  /* = background */
}  /* for NN 4.7 */

img { 
 color: white;  /* = background */
}  /* for NN 4.7 */

img {
  border: none;
} /* for IE 5.0 */


/* Basic colors: aqua, black, blue, fuchsia, gray, green, lime, maroon, navy, olive, purple, red, silver, teal, white, and yellow */



/* Playing around... */

li.space:after {
 padding-bottom: 1px;
}

/* don't display images: */
/* img { */
/*  display: none; */
/* } */


hr.larger {
 color: red;
}

hr.large {
  height: 3em;
}