@import url(html4css1.css);
@import url(ref.css);

pre {
    background-color:#F0F0F0;
    border:1px dashed black;
    color:inherit;
    font-family:courier,courier new,monospace;
    font-size:12px;
    line-height:100%;
    margin-bottom:4px;
    margin-top:4px;
     overflow: scroll;
    padding:5px;
    padding-top:15px;
    padding-bottom:15px;
    white-space:normal;
    margin-left: 0 ;
    margin-right: 0 ;
}

code {
    white-space:normal;
}

h1 a.toc-backref, h2 a.toc-backref, h3 a.toc-backref, h4 a.toc-backref   {
  color: #274f83;
}

h1 a.toc-backref  {
    font-size: 20px;
    color: #ff0000;
}

a.toc-backref {
  text-decoration: none;
  color: black;
}

.contents  ul{
    margin-left: 0%;
    margin-right: 0%;
}

.topic-title a{
    color: black;
}

.sheet-music img {
    border-style: none;
    max-width: 100%;
    width: 100%;
    height: auto;
}

.navbar {
  background-color: #012d68;
}