/* Changes to default bootstrap style: */

body {
  padding-top: 60px;
  padding-bottom: 40px;
}

.jumbotron {
  padding: 20px 30px;
}

.jumbotron h1 {
  text-align: center;
}

/* padding for in-page bookmarks and fixed navbar */
section {
  padding-top: 30px;
}

.nav-sidebar > li > a {
  padding-top: 5px;
  padding-bottom: 5px;
  line-height: 15px;
}

.anchored {
  padding-top: 40px;
}

/* type name at header positions */
.typeheader {
  font-size: 24px;
  font-weight: bold;
}

/* function name in the documentation of a exported functions */
.opname {
  font-weight: bold;
}

/* style for constructor comments" */
.conscomment {
  padding: 5px 0px 0px 20px;
}

/* style for explanation categories like "Constructors:" */
.explaincat {
  font-style: italic;
}

code { color:black }

.keyword { color:blue }
.constructorname_constrpattern { color : #ff00ff }
.constructorname_constrcall { color : #ff00ff }
.constructorname_constrdecla { color : #ff00ff }
.constructorname_otherconstrkind { color : #ff00ff }
.typeconstructor_typedecla  { color : #ff7f50 }
.typeconstructor_typeuse  { color : #ff7f50 }
.typeconstructor_typeexport  { color : #ff7f50 }
.function_infixfunction  { color : #800080 }
.function_typsig  { color : #800080 }
.function_fundecl  { color : #800080 }
.function_functioncall  { color : #800080 }
.function_otherfunctionkind  { color : #800080 }
.moduleName  { color : #800000 }
.commentary  { color : green }
.numberCode  { color : #008080 }
.stringCode  { color : #800000 }
.charCode  { color : #800000 }
.symbol  { color : #666666 }
.identifier_iddecl   { color : black }
.identifier_idoccur   { color : black }
.identifier_unknownid   { color : black }
.codeWarning  {font-weight: bold;font-style:italic; color : red }
.codeError  { font-style:italic; color : #a52a2a }
.notParsed  { font-style:italic; color : #C0C0C0 }