pre { 
  background: rgb(242,242,242); 
  padding: 5px;
}

mycode
{
background-color:#BFEFFF; /*#b0c4de;*/
}

li { margin-top: 10px; }

div.terminal { 
  font-weight:bold;
  font-family: monospace, courier;
  background: rgb(200,255,200); 
  padding: 5px;
  margin: 5px;
  width: 85%;
}

span.userinput { 
  text-decoration: underline;
}

span.understreck { 
  text-decoration: underline;
}

img {  
  margin: 10px;
}

div.viktigt { 
<!--  float: right;-->
  width: 85%;
  background: rgb(150,255,255);
  padding: 10px;
  margin: 5px;
}

div.sidebar { 
  float: right;
  width: 20em;
  padding: 5px;
  margin: 5px;
  border: solid 3px;
  background: white;
}
div.sidebar2 { 
  float: right;
  width: 30em;
  padding: 5px;
  margin: 5px;
  border: solid 3px;
  background: white;
}
div.widebar { 
  clear: both;
  width: 90%;
  padding: 5px;
  margin: 5px;
  border: solid 3px;
  background: white;
}

tr.grey { 
  background: rgb(227,227,227);
} 


th { 
  font-family: bold, sans-serif;
  padding-left: 1ex;
}

td.right { text-align: right; }
td { 
  padding-left: 5px;
  padding-right: 5px;
}

table.center { 
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

div.redovisa { 
  background: rgb(227,227,227);
  border-left: solid 3px; 
  border-color: #1954A6;
  padding: 1ex;
  margin-left:2em;
  margin-right:2em;
}