/* funprog.css:

		CSS style file for lecture documents which include analysis of code 
		extensions and modifications, highlighted via focal colors and 
		side-by-side display.
		
		Fritz Ruehr, Willamette CS, for CS 451 Spring 2006.
		Modified for CS 254, Spring 2007.
*/

	  body	 {	font-family: Georgia; margin-left: 1em; margin-right: 1em }
	  
	  #auth	 {  font-size: small; font-style: italic }
	  
	  h1     {	font-family: Helvetica; font-weight: bolder; font-size: x-large; 
	  			background-color: darkred; color: white;
	  			margin-top: 0.5em; margin-left: -1em; margin-right: -1em;
	  			padding-left: 1em; padding-top: 6px; padding-bottom: 4px }

	  #up	 {	position: absolute; top: 14px; right: 140px }
	  #lf	 {	position: absolute; top: 16px; right:  76px }
	  #rg	 {	position: absolute; top: 16px; right:  10px }
	  img	 {	border: 0 }
	  			
	  h2     {	font-family: Helvetica; font-weight: bold; font-size: large; 
	  			background-color: lightsalmon; color: black;
	  			margin-top: 0.5em; margin-left: -1em; margin-right: -1em;
	  			padding-left: 1em; padding-top: 0.25em; padding-bottom: 4px }

	  a:link {  color: firebrick; }
	  			
	  ul.contents
	  		 { list-style-image: url("../ctl/bullet.png"); list-style-type: circle }
	  			
	  code   {	font-family: "Courier New"; font-weight: bold; color: darkred }
	  pre    {	font-family: "Courier New"; font-weight: bold; color: darkred }
	  p.pre  {	font-family: "Courier New"; font-weight: bold; color: darkred }

	  em	 {	font-weight: bold; color: firebrick }
	  			
	  blockquote.code.p   {	font-family: "Courier New"; font-weight: bold; color: darkred }
	  blockquote.code.pre   {	font-family: "Courier New"; font-weight: bold; color: darkred }
	  li.blockquote.code.pre   {	font-family: "Courier New"; font-weight: bold; color: darkred }
	  li.p.blockquote.code.pre   {	font-family: "Courier New"; font-weight: bold; color: darkred }
	  			
	  pre   {	font-family: "Courier New"; font-weight: bold; color: darkred }

	  table  {	font-family: "Courier New"; 
	  			margin-top: 0px; margin-bottom: 0px; font-size: large; 
	  			background-color:lightsalmon; color:black }
	  
	  /*	This stuff is from the side-by-side style:
	  
	  table  {	margin-top: 0px; margin-bottom: 0px; font-size: large; color: grey }
	  			
	  td	 {	vertical-align: top;
	  			border-left: 6px; border-color: blue; border-left-style: solid;
	  			padding-left: 1em; padding-right: 1.5em;
	  			padding-top:  0px; padding-bottom:  0px }
	  			
	  td.fig {	border-left-style: none }
	  
	  td b	 {	font-weight: bold; color: black }
	  td em	 {	font-weight: bold; color: blue;  font-style: normal }
	  td samp {	font-weight: bold; color: green; font-style: oblique }
	  td s	 {	font-weight: bold; color: red;   text-decoration: none }
	  */
	  
/* end exegisis.css */