html, body {
	word-wrap: break-word;
	font-size:16px;
}
header {
  color:#0f034f;
  font-size: 25px;  
}
article {
    padding-bottom:25px;
}

#main-doc {
    margin-left:325px;
    position: relative;
    padding: 15px;  
	margin-bottom:200px;
}

#main-doc a {color:#0f034f;}

article {margin-left:25px;
        }

code {
    position: relative;
	display:block;

	background-color:#0f034f;
	color:white;
    padding:10px;
    margin:15px;
	margin-left:0px;
	unicode-bidi: embed;
    font-family: monospace;
	font-size:14px;
    white-space: pre;
    border-radius:5px;
	word-break: normal;
    word-wrap: normal;
	overflow:auto;
}

#navbar {
    position: fixed;
    left:0;
    bottom:0;
    top:85px;
    width:300px;
    background-color:#f7f7f7;
    border-right: 1px solid #0f034f;
    overflow:auto;  
    padding:0 0 15px 15px;
    top:85px;

}
#navbar header {
    border-right: 1px solid #0f034f;
    width:315px;
    height:60px;
    background-color:#f3f3f3;
    padding-left:0;
    text-align:center;
    margin-left:-15px;
    position:fixed;
    top:0;
    padding-top:25px;
}

.nav-link {
	display: block;
    text-decoration:none;
    color:#0f034f;
    font-size:18px;
    vertical-align:middle;
	border-top: 1px solid #0f034f;
    margin-left:-15px;	
	padding: 10px 0 5px 5px;
}

@media screen and (max-width: 750px) {
	body, html {
    height: 100%;
    overflow: hidden;
}
  #navbar header {
    background-color:white;  
    border-top:5px;  
    width:100%;
    border-bottom: 0;  
  }  

  #navbar {
    width:90%;
    border:1px solid #0f034f;;    
    height:135px;
    overflow: auto;
    margin-left:15px;
    margin-right:15px;
    padding-top:10px;  
    
  } 
  #main-doc {
    padding:15px;
    overflow: auto;
    height: 100%;
    margin-left:0;
	margin-top:260px;
  }
  
  .nav-link {
    border-top: none;
}