/* $Id: descrip.css,v 2.4 2006/08/08 17:32:13 nishio Exp $ */
html {
  background-color: #f0f0f0;
  color: black;
  font-family: times, sans-serif;
}
body { 
  margin-left: 2em;
  margin-right: 2em;
  font-family: times, sans-serif;
}
h1{
  font-family: Helvetica, sans-serif;
}
h2 {
  font-family: Helvetica, sans-serif;
}
h3 {
  font-family: Helvetica, sans-serif;
  margin-top: 2ex;
  margin-bottom: 0ex;
}
h3 dfn:before { 
  content: "Function: ";
  font-family: times, sans-serif;
  font-style: italic;
  font-weight: Bold;
}
h3 dfn {
  font-weight: bold;
}
dfn {
  font-family: "Courier New", Courier, monospace;
  font-style: normal;
}
pre.mb:before {
  content: "Mini-buffer: ";
  font-family: times, serif;
  font-weight: bold;
  display: block;
  text-indent: 0em;
}
pre.mb { 
  margin-left: 1em;
  background-color: #e0e0f0;
  color: black;
  border-style: solid;
  border-width: 0px 4px 4px 0px;
  border-color: #a0a0a0;
  padding: 1em;
}
pre.ea:before {
  content: "Echo Area: ";
  font-family: serif;
  font-weight: bold;
  display: block;
  text-indent: 0em;
}
pre.ea { 
  margin-left: 1em;
  background-color: #e0e0f0;
  color: black;
  border-style: solid;
  border-width: 0px 4px 4px 0px;
  border-color: #a0a0a0;
  padding: 1em;
}

p { 
  margin-top: 0.5em;
  text-indent: 1em;
}
pre.screen { 
  border-style: solid;
  border-width: 1px 3px 3px 1px;
  border-color: #a0a0a0;
  background-color: #e0e0e0;
  color: black;
  white-space: pre;
  padding: 1em 1em;
}

pre.screen tt.cursor { 
  background-color: #ffc0c0;
  color: black;
}
pre.screen tt.highlight { 
  background-color: #c0ffff;
  color: black;
  font-weight: normal;
}
pre {
  font-family: "Courier New", Courier, monospace;
  font-size: 90%;
  margin-left: 1em;
  margin-right: 1em;
}
tt.keyin {
  font-family: "Courier New", Courier, monospace;
  font-weight: bold;
  color: #d00000;
  background-color: #e0e0f0;
  /* text-decoration: underline; */
}
p.lastmod { 
  text-align: right;
  margin-top: 0ex;
  margin-bottom: 0ex;
  font-family: times, sans-serif;
  font-weight: bold;
  font-style: italic;
  font-size: 80%;
}

kbd {
  border-style: solid;
  border-width: 1px 2px 2px 1px;
  border-color: gray;
  background-color: white;
  color: black;
  font-family: "Courier New", Courier, monospace;
  font-weight: bold;
  padding: 0px 6px 0px 6px;
  margin: 4px;
}