|
@@ -0,0 +1,41 @@
|
|
1
|
+hr {
|
|
2
|
+ border: 0;
|
|
3
|
+ height: 1px;
|
|
4
|
+ background-image: -webkit-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,0.75), rgba(0,0,0,0));
|
|
5
|
+ background-image: -moz-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,0.75), rgba(0,0,0,0));
|
|
6
|
+ background-image: -ms-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,0.75), rgba(0,0,0,0));
|
|
7
|
+ background-image: -o-linear-gradient(left, rgba(0,0,0,0), rgba(0,0,0,0.75), rgba(0,0,0,0));
|
|
8
|
+}
|
|
9
|
+pre { overflow: auto; }
|
|
10
|
+p.date-posted { font-style: italic; }
|
|
11
|
+p.fineprint { font-size: smaller; }
|
|
12
|
+
|
|
13
|
+/* Stolen from lisppaste for the colorize output of 3bmd */
|
|
14
|
+.paste { background-color: #F4F4F4; color: black; }
|
|
15
|
+.paste:hover { background-color: #F4F4F4; color: black; }
|
|
16
|
+.symbol { color : #770055; background-color : transparent; border: 0px; margin: 0px;}
|
|
17
|
+.special { color : #FF5000; background-color : inherit; }
|
|
18
|
+.keyword { color : #770000; background-color : inherit; }
|
|
19
|
+.comment { color : #007777; background-color : inherit; }
|
|
20
|
+.string { color : #777777; background-color : inherit; }
|
|
21
|
+.atom { color : #314F4F; background-color : inherit; }
|
|
22
|
+.macro { color : #FF5000; background-color : inherit; }
|
|
23
|
+.variable { color : #36648B; background-color : inherit; }
|
|
24
|
+.function { color : #8B4789; background-color : inherit; }
|
|
25
|
+.attribute { color : #FF5000; background-color : inherit; }
|
|
26
|
+.character { color : #0055AA; background-color : inherit; }
|
|
27
|
+.syntaxerror { color : #FF0000; background-color : inherit; }
|
|
28
|
+.diff-deleted { color : #5F2121; background-color : inherit; }
|
|
29
|
+.diff-added { color : #215F21; background-color : inherit; }
|
|
30
|
+span.paren1 { background-color : inherit; -webkit-transition: background-color 0.2s linear; }
|
|
31
|
+span.paren1:hover { color : inherit; background-color : #BAFFFF; }
|
|
32
|
+span.paren2 { background-color : inherit; -webkit-transition: background-color 0.2s linear; }
|
|
33
|
+span.paren2:hover { color : inherit; background-color : #FFCACA; }
|
|
34
|
+span.paren3 { background-color : inherit; -webkit-transition: background-color 0.2s linear; }
|
|
35
|
+span.paren3:hover { color : inherit; background-color : #FFFFBA; }
|
|
36
|
+span.paren4 { background-color : inherit; -webkit-transition: background-color 0.2s linear; }
|
|
37
|
+span.paren4:hover { color : inherit; background-color : #CACAFF; }
|
|
38
|
+span.paren5 { background-color : inherit; -webkit-transition: background-color 0.2s linear; }
|
|
39
|
+span.paren5:hover { color : inherit; background-color : #CAFFCA; }
|
|
40
|
+span.paren6 { background-color : inherit; -webkit-transition: background-color 0.2s linear; }
|
|
41
|
+span.paren6:hover { color : inherit; background-color : #FFBAFF; }
|