/**************************************************************
 * this style sheet defines styles used only by this site and
 * shouldn't be confused with the ones that are part of the
 * word press template in use. They should only be used in
 * the static HTML pages used by the site as it is not included
 * in the Wordpress generated pages.
 */
#paypal {
  font-family:"Courier New",courier,mono;
  font-size:11px;
  width:180px;
  border:1px solid grey;
  padding:3px;
  background-color:#cceeff;
  text-align:center;
  margin:10px 0;
}

.linkhome {
    display: block;
    text-align: center;
    margin-top: 10px;
    margin-bottom: 40px;
    border:2px dotted #66ccff;
}

#othersoft {
    float:right;
    width:100px;
    border:2px outset #66ccff;
    padding:5px;
    margin:15px 0;
}

#othersoft ul {
    margin:0 15px;
    padding:0px;
}
/*
pre.console {
  color:white;
  background-color:black;
  font-family:"Courier New",courier,mono;
  font-size:12px;
  overflow:hidden;
  padding:0px;
  margin-left:15px;
  margin-right:15px;
  margin-top:10px;
  margin-bottom:10px;
}
*/
pre.code {
  font-family:"Courier New",courier,mono;
  font-size:1em;
  line-height:1.2em;
/*  margin-left:15px; */
  padding:10px;
  background-color:#ccc;
}

span.code {
  font-family:"Courier New",courier,mono;
  font-size:1em;
  line-height:1em;
  background-color:#ccc;
}

span.filename {
  font-family:"Courier New",courier,mono;
  font-size:1em;
  font-style:italic;
}

span.warning {
  color:red;
}

/* s.post { text-align:left; } */

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