@charset "utf-8";
/* CSS Document */

body {
  margin: 0
}
#sticky {
/*  padding: 1em;*/
  background: white;


}

#sticky.fixed {
  position: fixed;
  top: 0;

}

.nav-tree li a {
    text-transform: none;
}

.gray {
    color: #666 !important;
}

#contents-table {
    padding-top: 30px;
}

/* Styles to simulate anchor */
.link-like {
    color: #4A59C9;
    cursor: pointer;
}

.link-like:hover {
    color: darkblue;
}