body{
    margin-right: 30ex;
    border-right-style: solid;
    background-color: #f8f8ff;
}

.menu {
    position: fixed; 
    white-space: pre;
    right: 0.2ex; 
    top: 0; 
    width: 15em;	
    background: #ee82ee; 
    color: #4b0082;
    padding: 2em 2px;
    margin: 1ex;
}

h1{
    background-color: #ba55d3;
    color: #f0ffff;
}

h2{
    color: #ff00ff;
}
