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

li { margin-top: 10px; }

div.terminal { 
  font-family: monospace, courier ;
  background: rgb(217,217,217); 
  padding: 5px;
  margin: 5px;
  width: 80%;
}

span.userinput { 
  text-decoration: underline;
}

span.understreck { 
  text-decoration: underline;
}

div.viktigt { 
  float: right;
  width: 20em;
  background: pink;
  padding: 5px;
  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(217,217,217);
} 


td.right { text-align: right; }

table.center { 
  margin-left: auto;
  margin-right: auto;

}

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

div.eq { 
  text-align: center;
  font-size: larger;
 }

span.larger { font-size: "150%"; }

ol.alfa { list-style: lower-alpha; }