/* 09.07.2016 */

@import url(https://fonts.googleapis.com/css?family=Source+Sans+Pro);

dl.good dt {color: green; font-weight: bold;}
dl.bad dt {color: red; font-weight: bold;}

code {background: #dddddd;}

pre.python {
  	font-family: 'Source Sans Pro', sans-serif;
}

pre.shell {
    background-color: black;
  	color: white;
  	font-family: 'Source Sans Pro', sans-serif;
    padding-top: 20px;
    padding-right: 20px;
    padding-bottom: 20px;
    padding-left: 20px;
    margin: 50px;
}