You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
59 lines
1.1 KiB
59 lines
1.1 KiB
body {
|
|
position: relative;
|
|
}
|
|
|
|
.icon img {
|
|
float: right;
|
|
border: 1px solid #ccc;
|
|
}
|
|
.index .internal {display: none;}
|
|
ul.index li {margin-bottom: 0.5em; clear: both;}
|
|
|
|
footer {
|
|
margin-top: 45px;
|
|
padding: 35px 0 36px;
|
|
border-top: 1px solid #e5e5e5;
|
|
}
|
|
footer p {
|
|
margin-bottom: 0;
|
|
color: #555;
|
|
}
|
|
|
|
/* Fixes for fixed navbar --------------------------*/
|
|
|
|
body {
|
|
position: relative;
|
|
padding-top: 60px;
|
|
}
|
|
|
|
.section h1, .section h2, .section h3, .section h4 {
|
|
padding-top: 60px;
|
|
margin-top: -60px;
|
|
}
|
|
|
|
/* Table of contents --------------------------*/
|
|
|
|
#tocnav h2 {
|
|
margin-top: 0;
|
|
font-size: 1.5em;
|
|
}
|
|
|
|
|
|
/* Syntax highlighting ---------------------------------------------------- */
|
|
|
|
.fl,.number {color:rgb(21,20,181);}
|
|
.fu,.functioncall {color:#264D66 ;}
|
|
.ch,.st,.string {color:#375D81 ;}
|
|
.kw,.keyword {font-weight:bolder ;color:black;}
|
|
.argument {color:#264D66 ;}
|
|
.co,.comment {color: #333;}
|
|
.formalargs {color: #264D66;}
|
|
.eqformalargs {color:#264D66;}
|
|
.slot {font-style:italic;}
|
|
.symbol {color:black ;}
|
|
.prompt {color:black ;}
|
|
|
|
pre img {
|
|
background-color: #fff;
|
|
display: block;
|
|
}
|
|
|