/* $Id: videoc.css,v 1.15 1999/04/17 16:05:09 queinnec Exp $
 * The cascading style sheet for VideoC.
 * <Christian.Queinnec@lip6.fr>
 */

BODY, fondPage {
  color: black;
  background-color: #ffffff;
  font-family: serif, sans-serif;
  font-style: normal;
  font-size: 16pt;
}

.references, exercice-header {
  color: blue;
  background-color: #929292;
}

/* The overall style for code excerpts. */

.code {
  font-family: monospace ! important;
  font-weight: bold; 
  font-size: 14pt;
  margin-left: 20;
  background-color: #ffff99;
}

PRE {
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  white-space: pre;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

/* Anchors that are mouse-sensitive should not be too emphasized
 * certainly not as a real anchor. */

.mousable {
  color: blue;
  text-decoration: none ! important;
}

/* This is the style for \[..\] parts within \lisp..\endlisp environments.

.inclusion {
  color: black;
  background-color: #ff6666;
  font-style: italic;
}

/* The overall style for popups. Popups appear when moused over. They stay
 * or disappear, permanently, if clicked over. */

.hint {
  color: black;
  background-color: #ffa430;
  border: solid thin #0000cc;
}

/* The overall style for hint DIVisions (for IExplorer 4).
 *
 * This is a hack for Communicator 4. DIV sections should not be defined
 * with position: absolute, this changes the layers hierarchy. So I 
 * define DIV section with class=ieVoidHint and modify it to be ieHint later.
 */

.ieHint {
  position: absolute;
  visibility: hidden;
  width: 50%;
}

.ieVoidHint {
  position: 5%;
  visibility: hidden;
  width: 90%;
}

/* For QCM */

.okChoice {
  color: green;
  margin-left: 20;
}

.koChoice {
  color: red;
  margin-left: 20;
}

/* for solutions */

.solution {
  color: purple;
  background-color: #ffff99;
  border: solid thin purple;
}

/* Styles for the snippet package. These styles are inserted with Hevea. */

.scheme {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.schemeComment {
  font-style: italic;
  color: purple;
  background-color: #ffff99;
}

.schemeInclusion {
  color: red;
  background-color: #ffff99;
}

.tex {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.texInclusion {
  color: red;
  background-color: #ffff99;
}

.perl {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.perlInclusion {
  color: red;
  background-color: #ffff99;
}

.sh {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.shInclusion {
  color: red;
  background-color: #ffff99;
}

.texForSty {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.texForAnnote {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.texForAnnoteInclusion {
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.c {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.cInclusion {
  color: red;
  background-color: #ffff99;
}

.asm {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.makefile {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.gdb {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.shc {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.syntax {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

.pascal {
  font-family: monospace;
  margin-left: 20;
  margin-right: 20;
  margin-top: 5;
  color: red;
  background-color: #ffff99;
  border: solid thin purple;
}

/* end of videoc.css */