~exarkun/divmod.org/remove-axiom-1325288

« back to all changes in this revision

Viewing changes to Epsilon/doc/stylesheet.css

  • Committer: Jean-Paul Calderone
  • Date: 2014-06-29 20:33:04 UTC
  • mfrom: (2749.1.1 remove-epsilon-1325289)
  • Revision ID: exarkun@twistedmatrix.com-20140629203304-gdkmbwl1suei4m97
mergeĀ lp:~exarkun/divmod.org/remove-epsilon-1325289

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
body
2
 
{
3
 
  margin-left: 2em;
4
 
  margin-right: 2em;
5
 
  border: 0px;
6
 
  padding: 0px;
7
 
  font-family: sans-serif;
8
 
}
9
 
 
10
 
pre
11
 
{
12
 
  padding: 1em;
13
 
  font-family: Neep Alt, Courier New, Courier;
14
 
  font-size: 12pt;
15
 
  border: thin black solid;
16
 
}
17
 
 
18
 
.python
19
 
{
20
 
  background-color: #dddddd;
21
 
}
22
 
 
23
 
.py-listing, .html-listing, .listing
24
 
{
25
 
  margin: 1ex;
26
 
  border: thin solid black;
27
 
  background-color: #eee;
28
 
}
29
 
 
30
 
.py-listing pre, .html-listing pre, .listing pre
31
 
{
32
 
  margin: 0px;
33
 
  border: none;
34
 
  border-bottom: thin solid black;
35
 
}
36
 
 
37
 
.py-listing .python
38
 
{
39
 
  margin-top: 0;
40
 
  margin-bottom: 0;
41
 
  border: none;
42
 
  border-bottom: thin solid black;
43
 
}
44
 
 
45
 
.py-src-comment
46
 
{
47
 
  color: #1111CC
48
 
}
49
 
 
50
 
.py-src-keyword
51
 
{
52
 
  color: #3333CC;
53
 
  font-weight: bold;
54
 
}
55
 
 
56
 
.py-src-parameter
57
 
{
58
 
  color: #000066;
59
 
  font-weight: bold;
60
 
}
61
 
 
62
 
.py-src-identifier
63
 
{
64
 
  color: #CC0000
65
 
}
66
 
 
67
 
.py-src-string
68
 
{
69
 
  color: #115511
70
 
}
71
 
 
72
 
.py-src-endmarker
73
 
{
74
 
  display: block; /* IE hack; prevents following line from being sucked into the py-listing box. */
75
 
}
76
 
 
77
 
hr
78
 
{
79
 
  display: inline;
80
 
}
81
 
 
82
 
ul
83
 
{
84
 
  padding: 0px;
85
 
  margin: 0px;
86
 
  margin-left: 1em;
87
 
  padding-left: 1em;
88
 
  border-left: 1em;
89
 
}
90
 
 
91
 
li
92
 
{
93
 
  padding: 2px;
94
 
}
95
 
 
96
 
dt
97
 
{
98
 
  font-weight: bold;
99
 
  margin-left: 1ex;
100
 
}
101
 
 
102
 
dd
103
 
{
104
 
  margin-bottom: 1em;
105
 
}
106
 
 
107
 
div.note
108
 
{
109
 
  background-color: #FFFFCC;
110
 
  margin-top: 1ex;
111
 
  margin-left: 5%;
112
 
  margin-right: 5%;
113
 
  padding-top: 1ex;
114
 
  padding-left: 5%;
115
 
  padding-right: 5%;
116
 
  border: thin black solid;
117
 
}
118
 
 
119
 
.caption
120
 
{
121
 
  text-align: center;
122
 
  padding-top: 0.5em;
123
 
  padding-bottom: 0.5em;
124
 
}
125
 
 
126
 
.filename
127
 
{
128
 
  font-style: italic;
129
 
}