/* code.css -- styles for code displays, including HTML, JavaScript,
  spreadsheet formulas.  An alternate style for SQL queries is given
  for the class "query" in ~/mypage.iu.edu/styles/rdb.css. */

/* Block code displays */

pre.html, pre.css, pre.python, pre.algorithm, pre.spread, pre.sql,
  div.html, div.css, div.python, div.algorithm, div.spread, div.sql
{
  border: thin solid rgb(25, 25, 112); /* midnight blue, orig. black */
  /*  white-space: pre; */
  padding: 1ex;
}

/* Background colors for each "language" */

/* HTML */

.html 
/* pre.html, div.html, span.html, code.html */ 
{
  background-color: rgb(147, 186, 198);
  /* rgb(147, 186, 245); */
}

/* CSS */

.css {
  background-color: rgb(238, 238, 203);
}

/* Python */

pre.python, div.python, span.python, code.python {
  background-color: rgb(135, 206, 250); /* light sky blue */
}

.python-interaction 
{
  background-color: rgb(145, 216, 255); /* lighter sky blue */
}


/* Algorithms */

pre.algorithm, div.algorithm, span.algorithm, code.algorithm {
	background-color: silver;
}

/* Spreadsheet formulas */

pre.spread, div.spread, span.spread, code.spread {
  background-color:  rgb(0, 250, 154);  /* medium spring green */
}

/* SQL */

@media screen {
  pre.sql, div.sql, code.sql, span.sql {
    background-color: rgb(32, 178, 170); /* light sea green */
    font-family: serif;
  }
}

@media print {
  code.sql {
    font-family: courier, monospace;
    border-bottom: thin dotted black;
  }
}

/* Differences, corrections */

span.diff {
  background-color: rgb(205, 0, 0); /* red3, orig. red */
  color: white;
}

/* Underline variables and syntactic metavariables */

var {
  font-style: normal;
  text-decoration: underline;
}


/* Relational algebra operators */

.ra-oper {
  font-variant: small-caps;
}