/* Rules & styles for lectures
 * $Id$
 */

@import 'main.css';

h1 {
  color: #F50012;
  }

img.cover { 
  margin-left: 10px;
  margin-right: 10px;
  float: left;
  }

pre.code {
  border-top: thin dashed black;
  border-bottom: thin dashed black;
  padding: 5px;
  background-color: #F0F0F0;
  }