2011-12-23 06:08:56 +01:00
|
|
|
/* colors */
|
2012-04-18 03:47:38 +02:00
|
|
|
$bg: #fff;
|
2011-12-23 06:08:56 +01:00
|
|
|
$fg: #222;
|
|
|
|
$h1: #7D9B3E;
|
|
|
|
$h2: #AAd398;
|
|
|
|
$crumb-bg: #562d6f;
|
|
|
|
$crumb-fg: #d9d9d9;
|
|
|
|
$episteme: #c4f3af;
|
|
|
|
$hover: #057dff;
|
|
|
|
$quote: #a6a542;
|
|
|
|
$pre: #fff8d9;
|
|
|
|
|
2011-12-23 12:33:28 +01:00
|
|
|
/* sizes */
|
|
|
|
$left-col: 45em;
|
|
|
|
$right-col: 25em;
|
|
|
|
$margin: 1em;
|
|
|
|
|
2011-12-23 06:08:56 +01:00
|
|
|
body {
|
|
|
|
background: $bg;
|
|
|
|
color: $fg;
|
|
|
|
font-size: 1em;
|
|
|
|
font-weight: normal;
|
|
|
|
font-family: serif;
|
|
|
|
line-height: 1.3;
|
|
|
|
text-align: justify;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2011-12-23 12:33:28 +01:00
|
|
|
div#body {
|
2011-12-23 13:18:44 +01:00
|
|
|
width: $left-col;
|
|
|
|
margin: 0 auto;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* wider body with toc */
|
2012-04-18 02:08:04 +02:00
|
|
|
div#body-nav {
|
2011-12-23 12:33:28 +01:00
|
|
|
width: $left-col + $right-col;
|
|
|
|
margin: 0 auto;
|
|
|
|
}
|
|
|
|
|
2011-12-23 05:03:42 +01:00
|
|
|
div#main {
|
2011-12-23 12:33:28 +01:00
|
|
|
width: $left-col;
|
|
|
|
float: left;
|
|
|
|
margin-bottom: 3em;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2012-04-18 23:06:03 +02:00
|
|
|
h1.title {
|
|
|
|
background: $crumb-bg;
|
|
|
|
color: $crumb-fg;
|
|
|
|
line-height: 1.3em;
|
|
|
|
font-size: 1.7em;
|
|
|
|
font-weight: normal;
|
|
|
|
margin-top: 0;
|
|
|
|
text-align: center;
|
2011-12-23 12:33:28 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
a:link.title, a:hover.title, a:visited.title, a:active.title {
|
2011-12-23 09:27:22 +01:00
|
|
|
background: $crumb-bg;
|
|
|
|
color: $crumb-fg;
|
2011-12-23 12:33:28 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/* don't underline titles */
|
|
|
|
a:link.title, a:visited.title, a:active.title {
|
|
|
|
text-decoration: none;
|
2011-12-23 03:26:31 +01:00
|
|
|
}
|
|
|
|
|
2011-12-23 09:27:22 +01:00
|
|
|
/* episteme header */
|
|
|
|
div#episteme {
|
|
|
|
background: $episteme;
|
|
|
|
line-height: 2em;
|
2011-12-17 10:03:42 +01:00
|
|
|
}
|
|
|
|
|
2012-02-05 04:50:20 +01:00
|
|
|
/* mindkiller warning */
|
|
|
|
div#mindkiller {
|
|
|
|
background: $episteme;
|
|
|
|
}
|
|
|
|
|
2012-05-25 20:12:50 +02:00
|
|
|
/* merged with another article */
|
|
|
|
div#merged {
|
|
|
|
background: $episteme;
|
|
|
|
line-height: 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2011-12-23 09:27:22 +01:00
|
|
|
div#disqus {
|
|
|
|
border-top: 10px solid $h1;
|
2012-04-23 02:29:13 +02:00
|
|
|
text-align: left;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2011-12-23 09:27:22 +01:00
|
|
|
div#nav {
|
2011-12-23 12:33:28 +01:00
|
|
|
float: left;
|
|
|
|
width: $right-col - $margin;
|
|
|
|
margin-left: $margin;
|
2012-04-18 23:06:03 +02:00
|
|
|
text-align: left;
|
|
|
|
|
|
|
|
h2, h3, h4, h5, h6 {
|
|
|
|
font-weight: normal;
|
|
|
|
margin-left: 0;
|
|
|
|
margin-right: 0;
|
|
|
|
}
|
2011-09-05 18:19:21 +02:00
|
|
|
}
|
|
|
|
|
2011-12-23 09:27:22 +01:00
|
|
|
/* toc */
|
|
|
|
div#toc {
|
2011-12-23 12:33:28 +01:00
|
|
|
h1 {
|
|
|
|
background: $crumb-bg;
|
|
|
|
color: $crumb-fg;
|
|
|
|
line-height: 1.3em;
|
|
|
|
font-size: 1.7em;
|
|
|
|
font-weight: normal;
|
|
|
|
margin-top: 0;
|
|
|
|
}
|
2012-04-18 23:06:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
div#cat-nav {
|
|
|
|
line-height: 1.5em;
|
2011-12-23 09:27:22 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
div#crumb {
|
2011-12-23 12:33:28 +01:00
|
|
|
a {
|
|
|
|
line-height: 1.4em;
|
|
|
|
font-size: 1.3em;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
2011-12-23 09:27:22 +01:00
|
|
|
background: $crumb-bg;
|
|
|
|
color: $crumb-fg;
|
2011-12-23 12:33:28 +01:00
|
|
|
// line-height: 2em;
|
2011-12-23 09:27:22 +01:00
|
|
|
text-align: center;
|
2011-12-23 12:33:28 +01:00
|
|
|
position: fixed;
|
|
|
|
bottom: 0;
|
2011-12-23 13:18:44 +01:00
|
|
|
left: 0;
|
|
|
|
width: 100%;
|
2011-12-23 12:33:28 +01:00
|
|
|
margin: 0 auto;
|
2011-09-05 19:13:23 +02:00
|
|
|
}
|
|
|
|
|
2012-04-18 23:06:03 +02:00
|
|
|
div#next_prev {
|
2012-04-18 02:08:04 +02:00
|
|
|
border-top: 10px solid $h1;
|
|
|
|
}
|
|
|
|
|
2011-09-03 17:29:00 +02:00
|
|
|
div.footnotes {
|
2011-12-23 06:08:56 +01:00
|
|
|
border-top: 10px solid $h1;
|
2011-09-03 17:29:00 +02:00
|
|
|
}
|
|
|
|
|
2011-09-04 14:30:09 +02:00
|
|
|
sup {
|
2011-12-23 06:08:56 +01:00
|
|
|
margin-left: 0.2em;
|
2011-12-23 12:33:28 +01:00
|
|
|
// font-size: 1em;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
2010-05-03 08:46:39 +02:00
|
|
|
a:link.crumb, a:hover.crumb, a:visited.crumb, a:active.crumb {
|
2011-12-23 06:08:56 +01:00
|
|
|
color: $crumb-fg;
|
2011-12-23 12:33:28 +01:00
|
|
|
// font-size: 1.3em;
|
|
|
|
// font-weight: bold;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
a:hover {
|
2011-12-23 06:08:56 +01:00
|
|
|
background: $hover;
|
|
|
|
color: #fff;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2011-09-04 14:30:09 +02:00
|
|
|
/* epistemic states should stand out from normal links */
|
|
|
|
a.episteme {
|
2011-12-23 06:08:56 +01:00
|
|
|
color: $hover;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
a.episteme:hover {
|
2011-12-23 06:08:56 +01:00
|
|
|
background: $h1;
|
|
|
|
color: black;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/* move paragraphs a bit closer to the center, with list exceptions */
|
2010-05-03 08:46:39 +02:00
|
|
|
p {
|
2011-12-23 12:33:28 +01:00
|
|
|
margin-left: $margin;
|
|
|
|
margin-right: $margin;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
ul p {
|
2011-12-23 06:08:56 +01:00
|
|
|
margin-left: 0;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
ol p {
|
2011-12-23 06:08:56 +01:00
|
|
|
margin-left: 0;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/* category items */
|
|
|
|
.align_left {
|
2011-12-23 06:08:56 +01:00
|
|
|
text-align: left;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.align_right {
|
2011-12-23 06:08:56 +01:00
|
|
|
float: right;
|
|
|
|
text-align: right;
|
2011-09-04 23:05:58 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
ul.table .align_right {
|
2011-12-23 12:33:28 +01:00
|
|
|
margin-right: $margin;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
ul.table li {
|
2011-12-23 12:33:28 +01:00
|
|
|
margin-left: -$margin;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/* general lists */
|
|
|
|
li {
|
2011-12-23 06:08:56 +01:00
|
|
|
padding-left: 0;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
2011-12-23 13:18:44 +01:00
|
|
|
@mixin list {
|
2011-12-23 12:33:28 +01:00
|
|
|
margin-left: 2 * $margin;
|
2011-12-23 06:08:56 +01:00
|
|
|
margin-top: 0;
|
|
|
|
margin-bottom: 0;
|
2011-12-23 12:33:28 +01:00
|
|
|
padding-left: $margin;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
2011-12-23 13:18:44 +01:00
|
|
|
ol {
|
|
|
|
@include list;
|
|
|
|
}
|
|
|
|
|
2011-09-04 14:30:09 +02:00
|
|
|
ul {
|
2011-12-23 06:08:56 +01:00
|
|
|
list-style-type: square;
|
2011-12-23 13:18:44 +01:00
|
|
|
@include list;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* nested lists */
|
|
|
|
ul ul, ol ol {
|
|
|
|
margin-left: $margin;
|
2011-09-04 14:30:09 +02:00
|
|
|
}
|
|
|
|
|
2010-05-03 08:46:39 +02:00
|
|
|
em {
|
2011-12-23 06:08:56 +01:00
|
|
|
color: $crumb-bg;
|
|
|
|
font-style: italic;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
strong {
|
2011-12-23 06:08:56 +01:00
|
|
|
color: green;
|
|
|
|
font-weight: bold;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
img {
|
2011-12-23 06:08:56 +01:00
|
|
|
display: block;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
max-width: 100%;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
div.figure {
|
2011-12-23 06:08:56 +01:00
|
|
|
text-align: center;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
h1 {
|
2011-12-23 13:18:44 +01:00
|
|
|
background: $h2;
|
2011-12-23 06:08:56 +01:00
|
|
|
color: #000;
|
2012-04-18 23:06:03 +02:00
|
|
|
font-size: 1.5em;
|
2011-12-23 06:08:56 +01:00
|
|
|
line-height: 1.3;
|
|
|
|
text-align: center;
|
2010-05-03 08:46:39 +02:00
|
|
|
|
2011-12-28 12:01:15 +01:00
|
|
|
a:link, a:visited, a:active {
|
|
|
|
color: #000;
|
|
|
|
}
|
2011-12-23 06:08:56 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
@mixin header2 {
|
|
|
|
background: $h2;
|
|
|
|
color: #000;
|
|
|
|
font-weight:normal;
|
|
|
|
margin-left: 0.2em;
|
|
|
|
margin-right: 0.2em;
|
|
|
|
padding-left: 0.5em;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
h2 {
|
2011-12-23 06:08:56 +01:00
|
|
|
@include header2;
|
|
|
|
font-size: 1.3em;
|
|
|
|
line-height: 1.3;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2011-10-10 23:44:55 +02:00
|
|
|
h3, h4, h5, h6 {
|
2011-12-23 06:08:56 +01:00
|
|
|
@include header2;
|
2011-10-10 23:44:55 +02:00
|
|
|
}
|
|
|
|
|
2010-05-03 08:46:39 +02:00
|
|
|
blockquote {
|
2011-12-23 06:08:56 +01:00
|
|
|
border-left: 10px solid $quote;
|
|
|
|
border-right: 10px solid $quote;
|
2011-12-23 12:33:28 +01:00
|
|
|
margin-left: $margin;
|
|
|
|
margin-right: $margin;
|
2011-12-23 06:08:56 +01:00
|
|
|
padding-left: 0;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2011-09-04 14:30:09 +02:00
|
|
|
/* fix indentation if blockquote is already indented */
|
|
|
|
li blockquote {
|
2011-12-23 12:33:28 +01:00
|
|
|
padding-left: $margin;
|
|
|
|
margin-right: 2 * $margin;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
2011-12-23 06:08:56 +01:00
|
|
|
background: $pre;
|
|
|
|
border: 1px dashed green;
|
|
|
|
font-family: monospace !important;
|
|
|
|
line-height: 1.3em;
|
|
|
|
overflow: auto;
|
2011-12-23 12:33:28 +01:00
|
|
|
padding: $margin/2 $margin;
|
2010-05-03 08:46:39 +02:00
|
|
|
}
|
|
|
|
|
2011-12-26 11:21:24 +01:00
|
|
|
/* tables */
|
|
|
|
table {
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
border-collapse: collapse;
|
|
|
|
}
|
|
|
|
|
|
|
|
td, th {
|
|
|
|
border: 1px solid $h1;
|
|
|
|
text-align: center;
|
|
|
|
vertical-align: middle;
|
|
|
|
padding: 0.5em;
|
|
|
|
}
|
|
|
|
|
2011-09-03 18:28:11 +02:00
|
|
|
/* pygments code highlighting */
|
2011-12-23 06:08:56 +01:00
|
|
|
pre span.hll { background-color: $bg }
|
2011-09-03 18:28:11 +02:00
|
|
|
pre span.c { color: #408080; font-style: italic } /* Comment */
|
|
|
|
pre span.err { border: 1px solid #FF0000 } /* Error */
|
|
|
|
pre span.k { color: #008000; font-weight: bold } /* Keyword */
|
|
|
|
pre span.o { color: #666666 } /* Operator */
|
|
|
|
pre span.cm { color: #408080; font-style: italic } /* Comment.Multiline */
|
|
|
|
pre span.cp { color: #BC7A00 } /* Comment.Preproc */
|
|
|
|
pre span.c1 { color: #408080; font-style: italic } /* Comment.Single */
|
|
|
|
pre span.cs { color: #408080; font-style: italic } /* Comment.Special */
|
|
|
|
pre span.gd { color: #A00000 } /* Generic.Deleted */
|
|
|
|
pre span.ge { font-style: italic } /* Generic.Emph */
|
|
|
|
pre span.gr { color: #FF0000 } /* Generic.Error */
|
|
|
|
pre span.gh { color: #000080; font-weight: bold } /* Generic.Heading */
|
|
|
|
pre span.gi { color: #00A000 } /* Generic.Inserted */
|
|
|
|
pre span.go { color: #808080 } /* Generic.Output */
|
|
|
|
pre span.gp { color: #000080; font-weight: bold } /* Generic.Prompt */
|
|
|
|
pre span.gs { font-weight: bold } /* Generic.Strong */
|
|
|
|
pre span.gu { color: #800080; font-weight: bold } /* Generic.Subheading */
|
|
|
|
pre span.gt { color: #0040D0 } /* Generic.Traceback */
|
|
|
|
pre span.kc { color: #008000; font-weight: bold } /* Keyword.Constant */
|
|
|
|
pre span.kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
|
|
|
|
pre span.kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
|
|
|
|
pre span.kp { color: #008000 } /* Keyword.Pseudo */
|
|
|
|
pre span.kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
|
|
|
|
pre span.kt { color: #B00040 } /* Keyword.Type */
|
|
|
|
pre span.m { color: #666666 } /* Literal.Number */
|
|
|
|
pre span.s { color: #BA2121 } /* Literal.String */
|
|
|
|
pre span.na { color: #7D9029 } /* Name.Attribute */
|
|
|
|
pre span.nb { color: #008000 } /* Name.Builtin */
|
|
|
|
pre span.nc { color: #0000FF; font-weight: bold } /* Name.Class */
|
|
|
|
pre span.no { color: #880000 } /* Name.Constant */
|
|
|
|
pre span.nd { color: #AA22FF } /* Name.Decorator */
|
|
|
|
pre span.ni { color: #999999; font-weight: bold } /* Name.Entity */
|
|
|
|
pre span.ne { color: #D2413A; font-weight: bold } /* Name.Exception */
|
|
|
|
pre span.nf { color: #0000FF } /* Name.Function */
|
|
|
|
pre span.nl { color: #A0A000 } /* Name.Label */
|
|
|
|
pre span.nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
|
|
|
|
pre span.nt { color: #008000; font-weight: bold } /* Name.Tag */
|
|
|
|
pre span.nv { color: #19177C } /* Name.Variable */
|
|
|
|
pre span.ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
|
|
|
|
pre span.w { color: #bbbbbb } /* Text.Whitespace */
|
|
|
|
pre span.mf { color: #666666 } /* Literal.Number.Float */
|
|
|
|
pre span.mh { color: #666666 } /* Literal.Number.Hex */
|
|
|
|
pre span.mi { color: #666666 } /* Literal.Number.Integer */
|
|
|
|
pre span.mo { color: #666666 } /* Literal.Number.Oct */
|
|
|
|
pre span.sb { color: #BA2121 } /* Literal.String.Backtick */
|
|
|
|
pre span.sc { color: #BA2121 } /* Literal.String.Char */
|
|
|
|
pre span.sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
|
|
|
|
pre span.s2 { color: #BA2121 } /* Literal.String.Double */
|
|
|
|
pre span.se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
|
|
|
|
pre span.sh { color: #BA2121 } /* Literal.String.Heredoc */
|
|
|
|
pre span.si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
|
|
|
|
pre span.sx { color: #008000 } /* Literal.String.Other */
|
|
|
|
pre span.sr { color: #BB6688 } /* Literal.String.Regex */
|
|
|
|
pre span.s1 { color: #BA2121 } /* Literal.String.Single */
|
|
|
|
pre span.ss { color: #19177C } /* Literal.String.Symbol */
|
|
|
|
pre span.bp { color: #008000 } /* Name.Builtin.Pseudo */
|
|
|
|
pre span.vc { color: #19177C } /* Name.Variable.Class */
|
|
|
|
pre span.vg { color: #19177C } /* Name.Variable.Global */
|
|
|
|
pre span.vi { color: #19177C } /* Name.Variable.Instance */
|
|
|
|
pre span.il { color: #666666 } /* Literal.Number.Integer.Long */
|