@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;
}