csharpfftfsharpintegrationinterpolationlinear-algebramathdifferentiationmatrixnumericsrandomregressionstatisticsmathnet
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.
152 lines
3.3 KiB
152 lines
3.3 KiB
@import url(http://fonts.googleapis.com/css?family=Ovo);
|
|
@import url(http://fonts.googleapis.com/css?family=Droid+Sans+Mono);
|
|
|
|
/*********************** TOOL TIP STYLES **********************/
|
|
/* The following CSS classes are used by the F# formatter and */
|
|
/* so you should include them whenever you want to display */
|
|
/* HTML code generated by FSharp.CodeFormat.dll */
|
|
/**************************************************************/
|
|
|
|
/* identifier */
|
|
span.i { color:#000000; }
|
|
/* comment */
|
|
span.c { color:#008000; }
|
|
/* inactive code */
|
|
span.inactive { color:#808080; }
|
|
/* keywords */
|
|
span.k { color:#000080; }
|
|
/* numbers */
|
|
span.n { color:#008000; }
|
|
/* operators */
|
|
span.o { color:#800080; }
|
|
/* preprocessor */
|
|
span.prep { color:#800080; }
|
|
/* string */
|
|
span.s { color:#808000; }
|
|
/* line number */
|
|
span.l { color:#80b0b0; }
|
|
/* fsi output */
|
|
span.fsi { font-style:italic; color:#606060; }
|
|
/* omitted */
|
|
span.omitted {
|
|
border:solid 1px #d8d8d8;
|
|
color:#808080;
|
|
padding:0px 0px 1px 0px;
|
|
background:#fafafa;
|
|
}
|
|
/* tool tip */
|
|
div.tip
|
|
{
|
|
font: 10pt calibri, sans-serif;
|
|
padding:3px;
|
|
border:1px solid #606060;
|
|
background:#ffffd0;
|
|
display:none;
|
|
}
|
|
|
|
/* Optionally, also configure how the PRE element and TABLE.PRE look */
|
|
table.pre pre {
|
|
padding:0px;
|
|
margin:0px;
|
|
border-style:none;
|
|
}
|
|
|
|
pre, table.pre td {
|
|
padding:9.5px;
|
|
background:#f5f5f5;
|
|
border:solid 1px black;
|
|
border-radius:4px;
|
|
border-color:rgba(0,0,0,0.15);
|
|
margin:0px 0px 10px 0px;
|
|
}
|
|
|
|
table.pre td.lines {
|
|
border-top-right-radius:0px;
|
|
border-bottom-right-radius:0px;
|
|
border-right-style: none;
|
|
padding-right:0px;
|
|
}
|
|
table.pre td.snippet {
|
|
border-top-left-radius:0px;
|
|
border-bottom-left-radius:0px;
|
|
border-left-style: none;
|
|
padding-left:4px;
|
|
}
|
|
|
|
code, pre, pre code {
|
|
font-family:9pt "Droid Sans Mono", sans-serif;
|
|
line-height:13pt;
|
|
}
|
|
|
|
/********************* ADDITIONAL STYLES **********************/
|
|
/* These styles are not necessary - they just provide a nice */
|
|
/* Bootstrap template that can be freely used by F# libraries */
|
|
/**************************************************************/
|
|
|
|
body {
|
|
font-family: Ovo, serif;
|
|
padding-top: 0px;
|
|
padding-bottom: 40px;
|
|
}
|
|
|
|
/* Format the heading - nicer spacing etc. */
|
|
.masthead {
|
|
overflow: hidden;
|
|
}
|
|
.masthead ul, .masthead li {
|
|
margin-bottom:0px;
|
|
}
|
|
.masthead .nav li {
|
|
margin-top: 15px;
|
|
font-size:110%;
|
|
}
|
|
.masthead h3 {
|
|
margin-bottom:5px;
|
|
font-size:170%;
|
|
}
|
|
hr {
|
|
margin:0px 0px 20px 0px;
|
|
}
|
|
|
|
/* Format the right-side menu */
|
|
#menu {
|
|
margin-top:50px;
|
|
font-size:11pt;
|
|
padding-left:20px;
|
|
}
|
|
|
|
#menu .nav-header {
|
|
font-size:12pt;
|
|
color:#606060;
|
|
margin-top:20px;
|
|
}
|
|
|
|
#menu li {
|
|
line-height:25px;
|
|
}
|
|
|
|
/* Change font sizes for headings etc. */
|
|
#main h1 { font-size: 26pt; margin:10px 0px 15px 0px; }
|
|
#main h2 { font-size: 20pt; margin:20px 0px 0px 0px; }
|
|
#main h3 { font-size: 14pt; margin:15px 0px 0px 0px; }
|
|
#main p { font-size: 12pt; margin:5px 0px 15px 0px; }
|
|
#main ul { font-size: 12pt; margin-top:10px; }
|
|
#main li { font-size: 12pt; margin: 5px 0px 5px 0px; }
|
|
|
|
/* Additional formatting for the homepage */
|
|
#nuget {
|
|
margin-top:20px;
|
|
font-size: 11pt;
|
|
padding:20px;
|
|
}
|
|
|
|
#nuget pre {
|
|
font-size:11pt;
|
|
-moz-border-radius: 0px;
|
|
-webkit-border-radius: 0px;
|
|
border-radius: 0px;
|
|
background: #404040;
|
|
border-style:none;
|
|
color: #e0e0e0;
|
|
margin-top:15px;
|
|
}
|