@font-face
{
    font-family: codeFont;
    src: url(/static/Hack-Regular.ttf);
}
body {
    width: 100%;
    height: 100vh;
    padding: 0;
    margin: 0;
}
#nav{width:212px;height:100%;position:absolute;top:0px;left:0px;background:#eef;overflow:auto;}
#sidebar{width:224px;height:100%;position:absolute;top:0px;right:0px;background:#eef;overflow:auto;}
#main{height:100%;margin-left:213px;margin-right:225px;background:#fff;overflow:auto;}
#footer{height:20px;width:100%;display:none;}

#nav ul {list-style-type:none;margin-left:0rem;padding-left:0.5rem;}
#nav ul li {list-style-type:none;margin-left:0rem;padding-left:0rem;}
#file-list{height:1.2rem;}
#op{height:1.2rem;}
#function-lib ul {list-style-type:none;margin-left:0rem;padding-left:0.5rem;}
#function-lib ul li.item {list-style-type:none;margin-left:0rem;padding-left:0rem;white-space:nowrap;}
div.bold {color:green;}
li.item div:hover{background:#eee;color:red;}

#explorer{height:calc(100vh - 85px);overflow:auto; }
.CodeMirror *{
    font-family:codeFont,monospace,"Droid Serif",Verdana,sans-serif;
    font-size: 1.0rem;}
::-webkit-scrollbar{width:5px;}
::-webkit-scrollbar-track{background-color:#ddd;}
::-webkit-scrollbar-thumb{background-color:#aaa;}
::-webkit-scrollbar-thumb:hover {background-color:#8a8}
::-webkit-scrollbar-thumb:active {background-color:#9b9}
#log div{Background:#eee;height:50vh;overflow:auto;}
#log ul {font-size:0.8rem;list-style-type:none;margin-left:0rem;padding-left:0.5rem;}
#log ul li.item {font-size:0.8rem;list-style-type:none;margin-left:0rem;padding-left:0rem;white-space:nowrap;}
#stat div{Background:#eee;overflow:auto;}
#sidebar h4{font-size:1.0rem; margin:0;padding:0;}
#stat ul {font-size:0.8rem;list-style-type:none;margin:0rem;padding-left:0.5rem;}
#stat ul li.item {font-size:0.8rem;list-style-type:none;margin-left:0rem;padding-left:0rem;white-space:nowrap;}
#function-desc {margin-left:0.5rem;margin-right:0.5rem;}
#function-desc h1 { font-size:1.5rem;Background:#aaa;padding-top:0.5rem;}
pre.src {
    background-color: #eee;
    font-family: codeFont, "Droid Sans Mono";
    /* box-shadow: 5px 5px 5px #eee;*/
    border: none;
    padding: 5pt;
    margin-left: 2rem;
    margin-bottom: 10px;
    color: green ;
    /* padding: 12px;		 */
    font-size: 0.9rem;
    overflow: auto; 
}
.el-dialog__body h1 {
    border-style: solid;
    border-width: 0px 0px 0px 5px;
    border-color: blue;
    background:#aaa;
    font-size:1.4rem;font-family: 寰蒋闆呴粦,榛戜綋;
    text-indent:2rem;
    line-height:1.6rem;
}