/* Gnostai: Default Stylesheet
   CSS Level 2 - http://www.w3.org/TR/REC-CSS2
   Author: Cathal Mc Ginley                    */

/*
   Acknowledgments:

   - 'background-color' doesn't work on Mac IE 3, but 'background'
     does (Susan Lesch <lesch@macvirus.com>)

   - 'smaller' leads to illegible text in both Mac IE and Mac NS,
     'small' is better: works in Mac NS, but is always 12pt in Mac IE
     3 (Susan Lesch <lesch@macvirus.com>)
*/


body {
   /*margin: 10px 10px 2em 90px;*/
   /*margin: 4px 7px 7px 100px;*/
  margin: 0px;
   font-family: sans-serif;
   color: black;
   font-size: 11pt;
   background: white;
   /*background-image: url("../../Desktop/g-logo-with-clouds.png");*/
   /*background-image: url("../../Desktop/g-alpha--small.png");*/
   background-image: url("images/gnostai-logo2.png");
   background-position: top left;
   background-attachment: scroll;
   background-repeat: no-repeat;
}

div#menu { 
  /*border-right: 1px dotted #ccc;*/
    display: none;
  margin: 0px;
  padding: 0;
  position: absolute;
  left: 10px;
  top: 80px;
  width: 125px;
  height: 20em;
  /*background: #EEEEEE;*/
  border-right:  1px solid #AAAAAA;
  border-bottom: 1px solid #AAAAAA;

}

div#menu ul { list-style-type: square; }


img#fsf-associate { float: right; margin-top: -1.5em; }

table.project-list { 
  width: 100%;
  /*border: solid #AAAAAA 1px; */
}
table.project-list td { 
  border: solid#AAAAAA 1px; 
}

th, td { /* ns 4 */
   font-family: sans-serif;
}


h1, h2, h3 {
   text-align: left;
   font-family: sans-serif;
   font-weight: normal;
   color: black; 
}

h1.bordered {
   background-color: #FEFEFE;
   /* border: groove #A0A0A0 3px; */
   border: solid 1px #A0A0A0;
  margin: 4px 4px 4px 160px;
   /*margin-left: 0px;*/
   padding-left: 15px; 
   padding-top: 5px;
   padding-bottom: 5px;
   font-weight: bold;
}

h1 {
   font-size: 18pt;
   color: #505050;
   margin: 0;
   padding: 0;
   padding-left: 10px;
}

h2 { 
   font-weight: bold; 
   color: #606060; 
   font-size: 16pt;
}

#site-navigation {
  /*border-right: 1px dotted #ccc;*/
  margin: 0px;
  padding: 0;
  position: absolute;
  left: 0px;
  top: 50px;
  width: 125px;
  height: 20em;
  background: #EEEEEE;
  border-right:  2px solid #AAAAAA;
  border-bottom: 1px solid #AAAAAA;
}

#page-body { 
  position: absolute;
  left: 150px;
  top: 50px;
  padding: 5px 10px 5px 15px;
}

a:visited {
   color: #5D5D8D;
}

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }
div.head img { color: white; border: none } /* remove border from top image */

p.change-info { 
   font-style: italic;
   font-size: small;
   border: 1px solid black;
   padding: 2px;
   background: #F0F0F0;
}

div.change-report {
   margin-bottom: 10px;
}

span.copyright { font-size: small; font-weight: bold; color: #D0D0D0; }
p.copyright { font-size: small }
p.copyright small { font-size: small }

p.date {
  text-align: right;
  font-size: 0.9em;
  color: #333333;
}
p.copy {
  font-size: 0.8em;
  color: #333333;
  text-align: center;
  margin-top: 10px;
  margin-bottom: 4px;
  border-top: 1px solid black;
  padding-top: 12px;
}
p.license {
  font-size: 0.7em;
  color: #444444;
  margin-top: 2px;
  margin-bottom: 10px;
  text-align: center;
}





sup             { vertical-align: super; font-size: small; }

/*
   p {
   margin-top: 0.6em;
   margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */

strong {
   font-weight: bold;
}

dt {
   font-weight: bold;
}

th {
   text-align: left;
   color: #E0E0E0;
   border: #404040 1px solid;
   font-weight: bold;
   background: #909090;
}

pre { 
  font-family: monospace;         /* navigator 4 requires this */
  margin: 4px 40px 4px 20px;
 }
pre.bugreport { padding: 10px; }

p.poetry {
   color: #404040;
   line-height: 150%;
   padding: 10px 10px 10px 50px;
}

ul.plain {
   list-style: disc;
   list-style: none;
}

ul.toc {
   list-style: disc;		/* Mac NS has problem with 'none' */
   list-style: none;
}

@media aural {  
   h1, h2, h3 { stress: 20; richness: 90 }
   .hide { speak: none }
   p.copyright { volume: x-soft; speech-rate: x-fast }
   dt { pause-before: 20% }
   pre { speak-punctuation: code } 
}

body.plain {
   background-image: none;
}

code {
   color: green;
   font-family: monospace;
   font-weight: bold;
}

.demo {
   border: solid green;
   border-width: 2px;
   color: green;
   font-weight: bold;
   padding-left: 2em;
   margin-left: 0;
}
.actual  {
   border: solid black;
   border-width: 2px;
   color: black;
   font-weight: normal;
   padding-left: 2em;
   margin: 20px;
}
.defn {
   color: black; 
   border-bottom: solid 2px;
   padding-left: 10px 0 10px 20px;
}

img {
   color: white;
   border: none;
}
.local {
   text-decoration: underline; 
   font-weight: bold; 
   color: green;
}


div.navbar { 
   text-align: right;
   background-color: rgb(204,204,255);
   font-weight: bold;
   padding-right: 5px;
   padding-top: 3px;
   padding-bottom: 3px;
   margin-top: 20px;
}
div.info {
   margin: 20px 20px 20px 50px;
}
div.contents {
   background-color: rgb(204,204,255);
   padding: 0.5em;
   border: none;
}
.tocline { list-style: none; }

pre.codesketch {
   color: #0050B2;
}

td.button {
   /*border: #A0A0A0 groove 3px; */
   border: #707070 solid 1px;
   color: black; 
   background: #D0D0D0;
   padding: 3px 8px;
   font-weight: bold;
   font-size: small;
}

button.button {
   /*border: #A0A0A0 groove 3px; */
   cursor: pointer;
   text-align: center;
   border: #707070 solid 1px;
   color: black; 
   background: #D0D0D0;
   padding: 3px 8px;
   font-weight: bold;
   font-size: small;
}
.button a { 
   text-decoration: none;
   color: black; 
}

.disabled-button {
   border: #707070 solid 1px;
   color: #909090; 
   background: #D0D0D0;
   padding: 3px 8px;
   font-weight: bold;
   font-size: small;
}

.pressed-button {
   /*border: #A0A0A0 inset 3px; */
   border: #A0A0A0 inset 1px;
   color: black; 
   background: #C0C0C0;
   padding: 3px 8px;
   font-weight: bold;
   font-size: small;
}

span.query {
   font-size: small; 
   padding-top: 10px; 
   color: #0050B2;
}

span.copy {
   font-size: small; 
   font-weight: bold;
   margin-top: 10px; 
   color: #0050B2;
}

table.results {
   margin-top: 20px;
   margin-bottom: 20px;
}

table.results tr.highlight {
   background: #E8E8E8;
}

table.display {
   margin-top: 10px;
   /*width: 100%;*/
   /* This works in mozilla, and should probably be part of
      any print-medium stylesheet */
}
table.display td { 
   background: #F0F0F0;
   border: 1px solid #808080;
   padding: 0 20px 0 10px;
}
table.display th {
   padding: 0 10px 0 5px;
   text-align: right;
}

table.display td.description {
   padding: 5px;
}
table.display td.summary {
   border: none;
   background: #F8F8F8;
}

table.gray {
   background-color: #E0E0E0; 
   border: groove #808080 3px;
   margin-top: 20px; 
   margin-bottom: 20px;
   padding-left: 8px; 
   padding-top: 5px;
   border-spacing: 5px;
}
table.navbar {
   background-color: #E8E8E8; 
   border: #404040 solid 1px;
   margin: 0; 
   padding: 0;
}
table.buttons {
   border-spacing: 2px 0;
}

div#section-navigation { 
  text-align: right;
  margin: 10px 0px;
 }

span.section-page-link { 
  border: 2px groove #DDDDDD;
  background-color: #EEEEEE;
  padding: 3px 5px;
/*  margin-left: 10px; */
 }

span.section-page-link:hover { 
  background-color: #F8F8F8;
 }
span.section-page-current { 
  border: 2px inset #DDDDDD;
  background-color: #DDDDDD;
  padding: 3px 5px;
/*  margin-left: 10px; */
 }

div.blue {
   background-color: #F0F0FF; 
   border: solid #0050B2; 
   margin: 15px 40px 20px 5px; 
   padding-left: 8px; 
   padding-top: 5px;
}
div.green {
   background-color: #F0FFF0; 
   border: solid green; 
   margin: 15px 40px 10px 5px; 
   padding-left: 8px; 
   padding-top: 5px;
   padding-bottom: 5px;
}
div.sig {
   color: #0050B2;
   font-weight: bold;
   padding-bottom: 10px;
}
p.summary {
   font-style: italic;
}