main.css

/* adjust some bootstrap styles */

/* enlarge default font to normal browser default (16px, or local browser settings) */
body { font-size: 100%; }
label, button { font-size: 100%; }
input, select, textarea { font-size: 100% !important; }

/* shrink heading sizes back towards browser defaults (http://stackoverflow.com/a/6140504/84401) */
h1 { font-size:32px; }
h2 { font-size:24px; }
h3 { font-size:19px; }
h4 { font-size:16px; }
h5 { font-size:13px; }
h6 { font-size:11px; }


/* darcsden styles */

.name { font-weight:bold; }

body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,code,form,fieldset,legend,input,textarea,p,blockquote,th,td { margin: 0; padding: 0; }
table { border-collapse: collapse; border-spacing: 0; }
fieldset,img { border: 0; }
address,caption,cite,code,dfn,em,strong,th,var { font-style: inherit; font-weight: inherit; }
li { list-style: none; }
caption,th { text-align: left; }
h1,h2,h3,h4,h5,h6 { font-weight: normal; }
abbr,acronym { border: 0; font-variant: normal; }
input,textarea,select { font-family: inherit; font-size: inherit; font-weight: inherit; }

/* a { color: inherit; } */
.header a,
.path a,
.user-repos a,
.repo-list a,
.repo-forks a,
.repo-files a,
.repo-changes a,
.repo-issues a,
.repo-patches a {
    text-decoration: none; color: inherit;
}
.head a:hover,
.path a:hover,
.user-repos a:hover,
.repo-list a:hover,
.repo-forks a:hover,
.repo-files a:hover,
.repo-changes a:hover,
.repo-patches a:hover,
.repo-issues a:hover {
    text-decoration: underline;
}

html {
	height: 100%;
	background-color: #fff;
	color: #000;
}

body {
	/* width: 60em; */
	/* margin: 0 auto; */
	/* padding: 1em 0; */
}

h1, h2, h3, h4, h5, h6 {
	margin-bottom: .5em;
}
h2, h3, h4, h5, h6 {
        font-weight:bold;
}

.crumb {
    font-size:30px;
}

form {
	padding: 1em;
	border: thin solid #ccc;
        border-radius:8px;
	float: left;
}
form.dependencies {
    padding: 0;
    border: 0;
    float: none;
}
form .field {
	clear: both;
	margin-bottom: .75em;
}
form div br {
	clear: both;
}
form label {
	float: right;
	display: inline-block;
	text-align: right;
	margin-right: 1em;
	padding: .5em;
}
form input[type="text"],
form input[type="password"],
form textarea {
	border: 0;
	padding: .5em;
	float: right;
	width: 12em;
        background-color:#eee;
}

form div.choices {
	border: 0;
	padding: .5em;
	float: right;
	width: 12em;
}

form input[type="checkbox"] {
	vertical-align: middle;
	margin-top: -.1em;
        background-color:#eee;
}
form .field > ul,
form .field .inline-wrapper {
	float: right;
	width: 12.83em;
	padding: .5em 0;
}
form textarea {
	width: 20em;
}
form .buttons input[type="submit"] {
	float: right;
        padding:.5em;
}
form .note {
	display: block;
	clear: both;
	text-align: right;
}
form.big input[type="text"],
form.big input[type="password"] {
	margin-right: 8em;
}
form.big h3 {
    margin-right: 7.25em;
	float: right;
	width: 12em;
}
form hr {
    width: 25em;
    margin: 2em auto;
    border: 0;
    border-bottom: thin solid #bbb;
}
form .cancel-buttons {
	color: #777;
}
form .cancel-buttons a.cancel {
	color: #f00;
	font-weight: bold;
}

.header {
}

.footer {
	margin-top: 4em;
	padding: 1em 0;
	font-size: small;
	border-top: thin solid #ccc;
	color: #777;
	line-height: 1.4em;
        text-align:center;
}
.footer li {
    display:inline-block;
    margin:0 2em;
}

.footer a:hover {
	color: #000;
}
.footer .donate {
    float: right;
}
.footer .donate a {
    background: #111;
    color: #fff;
    padding: .3em .5em;
    text-decoration: none;
    border-radius: .5em;
}
.footer .donate a:hover {
    background: #444;
    color: #fff;
}
.footer .donate a:active {
    background: #000;
}

.blurb {
	line-height: 1.4em;
	margin-bottom: .5em;
}

.notification {
	padding: .5em;
	margin-bottom: 1em;
}
.notification.warning {
	background: #c22;
	color: #fff;
}
.notification.success {
	background: #61c423;
	color: #fff;
}
.notification.message {
	background: #2272cc;
	color: #fff;
}

.sitenav {
    margin-top:1em;
    margin-bottom:1em;
    padding-top:0;
    padding-bottom:0;
    text-align:right;
}

.sitenav li {
    display:inline;
    margin-left:1em;
}

.pagenav {
}

.links {
    /* width: 11em; */
}
.links li {
    padding: .25em 0;
    margin-left: .5em;
    white-space: nowrap;
    /* overflow:hidden; */
}
.links li a, a.button {
    color: inherit;
    display: inline-block;
    margin-right: .25em;
    padding: .4em .7em .4em 2em;
    border: .1em solid #ddd;
    border-radius: 1em;
    text-decoration: none;
    background: rgba(255,255,255,0.75);
    box-shadow: 1px 1px hsl(0, 0%, 47%);
}
a.small.button {
    padding: .2em .8em .2em 2.2em;
    font-size:small;
}
.next .small.button, .prev .small.button {
    padding-left: .8em;
}
.links li a:hover,
a.button:hover {
    /* position: relative; */
    /* top: -3px; */
    /* left: -3px; */
    /* box-shadow: 1px 1px 0 #eee, 2px 2px #eee, 3px 3px #eee; */
    /* font-weight:bold; */
    color:black;
    /* -webkit-transition: all 0.125s ease-out; */
    /* -moz-transition: all 0.125s ease-out; */
    /* -o-transition: all 0.125s ease-out; */
}
.links li a:active,
a.button:active {
    background-color: #f0f0f0 !important;
    box-shadow: none;
}

.links li.fork {
    margin-top:1em;
}

.buttonform {
    border: none;
    float: right;
    padding: 0em;
    width: 200px;
    height: 40px;
}

form.buttonform input {
    width: 180px;
    height: 40px;
}

.links li.login a {
	background: rgba(255,255,255,0.75) url('/public/images/login.gif') no-repeat 9px 5px;
}
.links li.register a {
	background: rgba(255,255,255,0.75) url('/public/images/register.gif') no-repeat 9px 5px;
}
.links li.home a {
	background: rgba(255,255,255,0.75) url('/public/images/home.gif') no-repeat 9px 5px;
}
.links li.settings a {
	background: rgba(255,255,255,0.75) url('/public/images/edit.gif') no-repeat 9px 5px;
}
.links li.logout a {
	background: rgba(255,255,255,0.75) url('/public/images/logout.gif') no-repeat 9px 5px;
}

/* .links li.explore a { */
/* 	background: rgba(255,255,255,0.75) url('/public/images/explore.gif') no-repeat 9px 9px; */
/* } */
.links li.create a {
	background: rgba(255,255,255,0.75) url('/public/images/new.gif') no-repeat 9px 9px;
        font-weight:bold;
}

.links li.files a {
	background: rgba(255,255,255,0.75) url('/public/images/file.gif') no-repeat 9px 9px;
        font-weight:bold;
}
.links li.changes a {
	background: rgba(255,255,255,0.75) url('/public/images/log.gif') no-repeat 9px 9px;
        font-weight:bold;
}
.links li.patches a {
	background: rgba(255,255,255,0.75) url('/public/images/patches.gif') no-repeat 9px 9px;
        font-weight:bold;
}
.links li.issues a, .open-issues.button, .closed-issues.button, .all-issues.button {
	background: rgba(255,255,255,0.75) url('/public/images/issues.gif') no-repeat 9px 9px;
        font-weight:bold;
}

.links li.fork a {
	background: rgba(255,255,255,0.75) url('/public/images/fork.gif') no-repeat 9px 9px;
}
.links li.edit a {
	background: rgba(255,255,255,0.75) url('/public/images/edit.gif') no-repeat 9px 9px;
}
.links li.delete a {
	background: rgba(255,255,255,0.75) url('/public/images/delete.gif') no-repeat 9px 9px;
}

.links.frontpage .links, .explore .links, .user .links, .repo .links {
    /* float: left; */
    /* text-align: right; */
    /* margin-left: -12em; */
    /* position: relative; */
}
/* .links.nav { */
/*     /\* float: right; *\/ */
/*     /\* margin-right: -12em; *\/ */
/* } */

.repo-desc,
.repo-empty {
    margin-bottom: 2em;
}
.repo-empty {
    margin-bottom: 2em;
}
.repo-desc .repo-fork {
	color: #aaa;
}
.repo-desc .repo-fork a {
	color: #777;
}
.repo-empty code {
	color: #000;
}
.repo-readme {
}

.private-repo {
    padding-right: 22px;
	background: url('/public/images/private.gif') no-repeat right 4px;
}
.user-repos li .private-repo {
    padding-right: 20px;
    background-position: right 1px;
}

.user-repos .public-repo, .user-repos .private-repo, .user-repos .username {
    font-weight:bold;
}

.repo-files {
    padding-bottom: 1em;
    border-bottom: thin solid #ccc;
    margin-bottom: 2em;
}
.patch-summary {
	margin-bottom: 3em;
}
.user-repos {
	margin-bottom: 1em;
}
.repo-files li,
.patch-summary li,
.user-repos li {
}
.repo-files li a,
.patch-summary li a,
.patch-summary li.summary-preference,
.patch-summary li.summary-removed,
.patch-summary li.summary-replace {
	display: block;
	padding: .4em 0 .0em 24px;
}
.patch-summary li.summary-replace a {
  display: inline;
  padding: 0;
}
.repo-browse h1.path {
	border-bottom: .1em dotted;
    padding-bottom: .5em;
}
.repo-files li.directory a {
	background: url('/public/images/folder.gif') no-repeat left 4px;
        font-weight: bold;
}
.repo-files li.file a {
	background: url('/public/images/file.gif') no-repeat left 5px;
}

.repo-log {
	margin: 1em 0 2em;
}
.repo-log tr {
    vertical-align:top;
}

.repo-log td {
    padding:.25em;
}

.repo-log td.author, .repo-log td.date {
    white-space:nowrap;
}

.repo-log > li {
    /* border-top: thin solid #eee; */
    padding-bottom: 1em;
    /* line-height: 1.4em; */
}
.repo-log > li h2,
.patch-changes li h2 {
        margin-bottom: -1em;
}
.repo-log > li h2 .date,
.patch-changes li h2 .line {
	color: #777;
}
.repo-log > li p {
}
.repo-log .patch-name, .patch-changes .patch-name {
    font-weight: bold;
}
.repo-log .patch-name a, .patch-changes .patch-name a {
    /* text-decoration: none; */
}
.repo-log > li .patch-notes {
}
.repo-log > li .patch-notes pre {
}

.patch-changes {
	margin-top: 1em;
}
.patch-changes li {
	padding-bottom: 1.5em;
	margin-bottom: 1em;
	border-bottom: thin solid #eee;
}
.patch-changes li h2 {
}

.removed, .added {
	margin-left: -2em;
	margin-bottom: 1em;
	padding-left: 1em;
	border-left: 1em solid;
}
.removed {
	border-color: #c22;
}
.added {
	border-color: #61c423;
}

.patch-summary li.summary-added {
	background: url('/public/images/added.gif') no-repeat left center;
}
.patch-summary li.summary-removed {
	background: url('/public/images/removed.gif') no-repeat left center;
}
.patch-summary li.summary-modified {
	background: url('/public/images/modified.gif') no-repeat left center;
}
.patch-summary li.summary-preference {
	background: url('/public/images/preference.gif') no-repeat left center;
}

.dd-pagination {
	text-align:center;
        white-space: nowrap;
}
.dd-pagination li {
        display: inline-block;
}
.dd-pagination li.prev,
.dd-pagination li.next,
.dd-pagination li.prevnextspacer {
        width: 6em;
	margin: 0 .5em;
}
.dd-pagination li a {
	/* background: #000; */
	/* color: #fff; */
	padding: .5em 1em;
	text-decoration: none;
        font-size:small;
        border-radius: 1em;
}
.dd-pagination li a:hover {
    text-decoration:none;
}
.darcsden-pagination li a:active {
}

.repo-list {
	margin-top: 1em;
}
.repo-list > li {
	margin-bottom: 1em;
}
.repo-list li .repo-name {
}
.repo-list li .repo-desc {
	margin-bottom: 0;
}
.repo-list li .repo-forks-wrap {
    margin: 1em;
}
.repo-list li .repo-forks-wrap h3 {
    padding-bottom: 0;
    margin: 0;
    padding-bottom: .4em;
    line-height: 1em;
}
.repo-forks.links {
    margin: 0;
    width: auto;
}
.repo-forks.links li {
    margin: 0;
    padding: 0;
    display: block;
}
.repo-forks.links li a {
    float: left;
    margin: 0 1em 0 0;
    padding: .5em .75em;
    font-weight: bold;
}
.repo-forks.links li a:hover {
    color: #555;
}

.repo-patches .fork {
    margin-top:2em;
}
.repo-patch a {
    color: inherit;
}

.user-repos li {
	padding: .2em 0;
}
.user-repos li a {
}

.fork-log {
    width: 100%;
	/* box-shadow: #ddd 0 0 1em; */
}
.fork-log td {
    padding: .25em;
    text-align: left;
}
.fork-log td.merge {
    width: 1%;
    text-align: center;
}
.fork-log td input {
    vertical-align: middle;
}
.fork-log td.name {
    width: 46%;
}
.fork-log td.author {
    width: 1%;
    /* text-align: center; */
}
.fork-log td.date {
    width: 1%;
    /* text-align: right; */
    white-space:nowrap;
}

.new-issue.button {
    background: rgba(255,255,255,0.75) url('/public/images/new.gif') no-repeat 9px 9px;
    margin-bottom: 1.5em;
}

.issues-list .issue {
    /* padding: .25em; */
    margin-bottom: 1em;
	/* box-shadow: #ddd 0 0 1em; */
}
.issues-list .issue table {
    width:100%;
}
.issues-list .issue table td:first-child {
    width:1%;
}
.issues-list .issue .number {
    float: none;
    color: #ccc;
    padding-top: .25em;
    padding-right: .25em;
    vertical-align:top;
}
.issues-list .issue .details {
    display:inline-block;
    margin-bottom: .5em;
    /* background: #f5f5f5; */
    /* padding: .75em; */
}
.issues-list .issue .name {
    /* display:inline-block; */
}
.issues-list .issue .meta {
    display:inline-block;
}
.issues-list .issue .tags {
    /* float: right; */
    display:inline-block;
    font-size:small;
}
.issues-list .issue .tags li {
    display: inline;
    margin-left: .5em;
}

.tags li a {
    padding: .25em .5em;
    background: #444;
    color: #fff;
    text-decoration: none;
    border-radius: .5em;
}
.tags li a:hover {
    position: relative;
    top: -2px;
    left: -2px;
    background: #666;
    box-shadow: 1px 1px 0 #000, 2px 2px #000;
    -webkit-transition: all 0.125s ease-out;
    -moz-transition: all 0.125s ease-out;
    -o-transition: all 0.125s ease-out;
}

.issue .number {
    font-size: 2em;
    float: right;
    color: #ddd;
    font-weight: bold;
    margin-right: .25em;
    margin-top: -.125em;
}
.issue .description .user-info {
    padding: .75em;
    float: right;
    background: #222;
    color: #fff;
    font-weight: bold;
    text-align: center;
    margin: 0 0 1em 1em;
}
.issue .description .user-info img {
    display: block;
    margin-bottom: .5em;
    border: .5em solid #111;
}
.user-info a {
    text-decoration: none;
}

.issue-comments {
    margin-top: 2em;
}
.issue-comments .comment {
    margin: 0 0 2em;
}
.issue-comments .user-info {
    background: #f5f5f5;
    padding: .5em;
    margin: -1em -1em 1em -1em;
    font-weight: bold;
}
.issue-comments .user-info img {
    border: .25em solid #ddd;
    margin: -.5em;
    vertical-align: middle;
    margin-right: .75em;
}
.issue-comments .user-info .name {
    position: relative;
    bottom: -.1em;
}
.issue-comments .changes {
    list-style: none;
    margin-bottom: 1em;
    padding: 1em 1em 1em 2.5em;
    background: #f5f5ff;
    box-shadow: inset 0 0 1em #eee;
}

.issue-revise {
    margin-top: 4em;
}
.issue-revise .issue-tags,
.issue-new .issue-tags {
    /* width: 12em; */
    float: right;
    background: #f5f5ff;
    box-shadow: inset 0 0 1em #ddd;
    padding: 1em;
}
.issue-revise .issue-tags label,
.issue-new .issue-tags label {
    display: block;
    font-weight: bold;
}
.issue-revise .issue-tags select,
.issue-new .issue-tags select {
    margin-bottom: 2em;
}
.issue-tags form {
    padding: 0;
    border: 0;
    float: none;
    margin-top: 1.25em;
}
.issue-tags input {
    float: none !important;
}
.issue-tags #tag-name {
    width: 7em;
    margin-right: 1em;
    background: #fff;
    box-shadow: 0 0 .5em #ddd;
    color: #000;
}
.issue-revise .tags li,
.issue-new .tags li {
    margin-bottom: .5em;
}
.issue-revise .tags .kill,
.issue-new .tags .kill {
    margin-right: .75em;
    border-radius: .6em;
    padding: 0;
    background: #111 url('/public/images/delete-small.gif') no-repeat center center;
    float: left;
    width: 10px;
    height: 10px;
    margin-top: .35em;
}
.issue-revise .tags .kill:hover,
.issue-new .tags .kill:hover {
    background-color: #444;
    box-shadow: none;
    position: static;
}
.issue-revise .tags .kill:active,
.issue-new .tags .kill:active {
    background-color: #000;
}

form.issue-comment,
form.issue-body {
    /* width: 40em; */
    float: none;
}
form.issue-comment input,
form.issue-comment input[type="submit"],
form.issue-comment textarea,
form.issue-comment label,
form.issue-body input, 
form.issue-body input[type="submit"],
form.issue-body textarea,
form.issue-body label {
    float: none;
}
form.issue-comment h3 {
    font-weight: bold;
}
form.issue-comment input[type="text"],
form.issue-body input[type="text"] {
    width: 20em;
}
form.issue-comment textarea,
form.issue-body textarea {
    /* width: 40em; */
    width:96%;
    margin: 0;
}
form.issue-comment #summary,
form.issue-body #summary {
    /* background: #222; */
}
form.issue-comment .buttons,
form.issue-body .buttons {
    width: 20em;
    margin: 0 auto;
}
form.issue-comment .buttons input,
form.issue-body .buttons input {
    position: relative;
    border: 0;
    padding: 1em;
    color: #fff;
    background: transparent;
    width: 10em;
    border-radius: 1em;
}
form.issue-comment .buttons input:hover,
form.issue-body .buttons input:hover {
    cursor: pointer;
    -webkit-transition: all 0.125s ease-out;
    -moz-transition: all 0.125s ease-out;
    -o-transition: all 0.125s ease-out;
}
form.issue-comment .buttons:hover #submit-comment {
    background: #333;
}
form.issue-comment .buttons #submit-comment {
    z-index: 2;
    background: #000;
    width: 13em;
}
form.issue-comment .buttons #submit-close {
    z-index: 1;
    background: #222;
    padding: 1em 1em 1em 4em;
    width: 10em;
    margin-left: -3em;
}
form.issue-comment .buttons #submit-close:hover {
    background: #333;
}
form.issue-body .buttons input {
    background: #000;
    width: 20em;
}
form.issue-body .buttons input:hover {
    background: #222;
}

.clear {
	clear: both;
}

form#add-tag {
    white-space:nowrap;
}

form.editfile {
    width: 95%;
}

form.editfile input#message {
    width: 85%;
}

/* markdown styles */

/* .markdown .highlight pre { */
/*     background: #fff; */
/*     color: #000; */
/* } */

.markdown {
	/* overflow: auto; */
}
.markdown p,
.markdown ol,
.markdown ul {
	padding-bottom: 1em;
}
/* .markdown ul, .markdown ol { */
/* 	padding-left: 1em; */
/* } */
.markdown ul li, .markdown ol li {
    margin-left:1.5em;
}
.markdown ul li {
    list-style: square;
}
.markdown ol li {
    list-style: decimal;
}
.markdown h1 {
    margin-top: .5em;
}
.markdown h2 {
}
.markdown h3 {
}
.markdown code {
}
.markdown pre {
    /* background: #000; */
    /* color: #fff; */
    padding: .6em 1em;
    margin-bottom: 1em;
    /* overflow: auto; */
}
.markdown em {
    font-style: italic;
}
.markdown strong {
    font-weight: bold;
}
.markdown code {
    /* font-family: monospace; */
}


/* highlighter styles */

/* table.highlighttable .linenos, */
/* .highlight { */
/* 	line-height: 1.4em; */
/* } */
/* table.highlighttable .linenos { */
/*     background: #000; */
/*     color: #fff; */
/* } */
/* table.highlighttable .linenos a { */
/*     text-decoration: none; */
/*     padding: 0 .5em; */
/* } */
/* table.highlighttable .linenos a:target { */
/*     color: #f22; */
/*     font-weight: bold; */
/* } */
/* table.highlighttable .code .highlight { */
/*     padding: 0 .5em; */
/* } */

div.code {
	/* overflow: auto; */
}


/* highlighting-kate styles */

/* td.lineNumbers { */
/*     border:0; */
/* } */
.lineNumbers a {
    white-space:nowrap;
    color:inherit;
}
.repo-readme pre.sourceCode, .repo-log pre, .sourceCode pre, .sourceCode code {
    font-size: 13px;
    margin:0 .5em;
    background-color:inherit;
    border:0;
    white-space:pre;
}

.repo-readme pre.sourceCode, .repo-log pre {
    margin: 0;
    padding: 0;
}

.repo-readme pre.sourceCode {
    font-size:14px;
}

/* haddock */
/* table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { */
/*   margin: 0; padding: 0; vertical-align: baseline; border: none;  */
/* } */
/* table.sourceCode { width: 100%; } */
/* td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; } */
/* td.sourceCode { padding-left: 5px; } */
/* code > span.kw { color: #0000ff; } */
/* code > span.ch { color: #008080; } */
/* code > span.st { color: #008080; } */
/* code > span.co { color: #008000; } */
/* code > span.ot { color: #ff4000; } */
/* code > span.al { color: #ff0000; } */
/* code > span.er { font-weight: bold; } */

/* pygments */
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
  margin: 0; padding: 0; vertical-align: baseline; border: none; }
table.sourceCode { width: 100%; }
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; }
td.sourceCode { padding-left: 5px; }
code > span.kw { color: #007020; font-weight: bold; }
code > span.dt { color: #902000; }
code > span.dv { color: #40a070; }
code > span.bn { color: #40a070; }
code > span.fl { color: #40a070; }
code > span.ch { color: #4070a0; }
code > span.st { color: #4070a0; }
code > span.co { color: #60a0b0; font-style: italic; }
code > span.ot { color: #007020; }
code > span.al { color: #ff0000; font-weight: bold; }
code > span.fu { color: #06287e; }
code > span.er { color: #ff0000; font-weight: bold; }

/* /\* kate *\/ */
/* table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { */
/*   margin: 0; padding: 0; vertical-align: baseline; border: none; } */
/* table.sourceCode { width: 100%; } */
/* td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; background-color: #dddddd; } */
/* td.sourceCode { padding-left: 5px; } */
/* code > span.kw { font-weight: bold; } */
/* code > span.dt { color: #800000; } */
/* code > span.dv { color: #0000ff; } */
/* code > span.bn { color: #0000ff; } */
/* code > span.fl { color: #800080; } */
/* code > span.ch { color: #ff00ff; } */
/* code > span.st { color: #dd0000; } */
/* code > span.co { color: #808080; font-style: italic; } */
/* code > span.al { color: #00ff00; font-weight: bold; } */
/* /\* code > span.fu { color: #000080; } *\/ /\* don't know what this is, but it's wrong in haskell source *\/ */
/* code > span.er { color: #ff0000; font-weight: bold; } */

/* espresso */
/* table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { */
/*   margin: 0; padding: 0; vertical-align: baseline; border: none; } */
/* table.sourceCode { width: 100%; background-color: #2a211c; color: #bdae9d; } */
/* td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; background-color: #2a211c; color: #bdae9d; border-right: 1px solid #bdae9d; } */
/* td.sourceCode { padding-left: 5px; } */
/* pre, code { color: #bdae9d; background-color: #2a211c; } */
/* code > span.kw { color: #43a8ed; font-weight: bold; } */
/* code > span.dt { text-decoration: underline; } */
/* code > span.dv { color: #44aa43; } */
/* code > span.bn { color: #44aa43; } */
/* code > span.fl { color: #44aa43; } */
/* code > span.ch { color: #049b0a; } */
/* code > span.st { color: #049b0a; } */
/* code > span.co { color: #0066ff; font-style: italic; } */
/* code > span.al { color: #ffff00; } */
/* code > span.fu { color: #ff9358; font-weight: bold; } */
/* code > span.er { font-weight: bold; } */

/* tango */
/* table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { */
/*   margin: 0; padding: 0; vertical-align: baseline; border: none; } */
/* table.sourceCode { width: 100%; background-color: #f8f8f8; } */
/* td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; } */
/* td.sourceCode { padding-left: 5px; } */
/* pre, code { background-color: #f8f8f8; } */
/* code > span.kw { color: #204a87; font-weight: bold; } */
/* code > span.dt { color: #204a87; } */
/* code > span.dv { color: #0000cf; } */
/* code > span.bn { color: #0000cf; } */
/* code > span.fl { color: #0000cf; } */
/* code > span.ch { color: #4e9a06; } */
/* code > span.st { color: #4e9a06; } */
/* code > span.co { color: #8f5902; font-style: italic; } */
/* code > span.ot { color: #8f5902; } */
/* code > span.al { color: #ef2929; } */
/* code > span.fu { color: #000000; } */
/* code > span.er { font-weight: bold; } */

/* monochrome */
/* table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { */
/*   margin: 0; padding: 0; vertical-align: baseline; border: none; } */
/* table.sourceCode { width: 100%; } */
/* td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; } */
/* td.sourceCode { padding-left: 5px; } */
/* code > span.kw { font-weight: bold; } */
/* code > span.dt { text-decoration: underline; } */
/* code > span.co { font-style: italic; } */
/* code > span.al { font-weight: bold; } */
/* code > span.er { font-weight: bold; } */

/* /\* zenburn *\/ */
/* table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { */
/*   margin: 0; padding: 0; vertical-align: baseline; border: none; } */
/* table.sourceCode { width: 100%; background-color: #303030; color: #cccccc; } */
/* td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; } */
/* td.sourceCode { padding-left: 5px; } */
/* pre, code { color: #cccccc; background-color: #303030; } */
/* code > span.kw { color: #f0dfaf; } */
/* code > span.dt { color: #dfdfbf; } */
/* code > span.dv { color: #dcdccc; } */
/* code > span.bn { color: #dca3a3; } */
/* code > span.fl { color: #c0bed1; } */
/* code > span.ch { color: #dca3a3; } */
/* code > span.st { color: #cc9393; } */
/* code > span.co { color: #7f9f7f; } */
/* code > span.ot { color: #efef8f; } */
/* code > span.al { color: #ffcfaf; } */
/* code > span.fu { color: #efef8f; } */
/* code > span.er { color: #c3bf9f; } */