body { color: black; background: white; margin-left: 12%; margin-right: 10%; }
  pre { font-family: monospace; }
  h1,h2,h3,h4,h5,h6 { margin-left: -4%; }
  div.sidebar {
	background: rgb(204,204,255);
    padding: 0.5em;
    border: none;
  }

  .floatleft {
    float: left;
    margin: 5px; 
  }

  .floatright {
    float: right;
    margin: 5px;
  }