File size: 910 Bytes
4cadbaf
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
pre {
  overflow: auto;
}

pre.doctest {
  border-left: 3px solid #99f;
  padding-left: 1em;
}

pre.output {
  border-left: 3px solid #9f9;
  padding-left: 1em;
}

.doctest-example-prompt {
  color: #333;
}

.doctest-success {
  color: #060;
}

.doctest-failure {
  color: #600;
}

.doctest-example-detail {
  color: #060;
  font-weight: bold;
}

a.doctest-failure-link {
  text-decoration: none;
}

a.doctest-failure-link:hover {
  text-decoration: underline;
}

.doctest-example:target {
  border-left: 3px solid #f00;
}

div.test:target {
  border: 3px solid #ff0;
}

div.test {
  border: 1px solid #999;
  margin-bottom: 1em;
}

div.test .test-id {
  position: relative;
  float: right;
  background-color: #000;
  color: #bbb;
  padding: 3px;
}

div.test .test-id a:link,
div.test .test-id a:visited {
  color: #bbb;
  text-decoration: none;
}

div.test .test-id a:hover {
  text-decoration: underline;
}