Skip to content

Commit 6a2042e

Browse files
committed
Use RTD theme as a plugin (and slightly customize its look)
1 parent 562d484 commit 6a2042e

22 files changed

+169
-3177
lines changed

_build/.requirements.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,3 +13,4 @@ sphinx==1.8.5
1313
git+https://github.com/fabpot/sphinx-php.git@v2.0.0#egg_name=sphinx-php
1414
jsx-lexer===0.0.8
1515
sphinxcontrib-phpdomain==0.6.3
16+
sphinx_rtd_theme==0.5.0

_build/_static/rtd_custom.css

Lines changed: 156 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,156 @@
1+
body {
2+
font-family:Lucida Grande,Lucida Sans Unicode,Lucida Sans,Geneva,Verdana,sans-serif !important;
3+
}
4+
5+
h1, h2, h3, h4, h5, h6 {
6+
font-family:Georgia,Times New Roman,Times,serif !important;
7+
line-height:1.2 !important;
8+
margin-top:0 !important;
9+
margin-bottom:.5em !important;
10+
}
11+
p{
12+
font-size:14px !important;
13+
line-height:1.45 !important;
14+
}
15+
.wy-menu-vertical a {
16+
font-size:14px !important;
17+
padding-right:0 !important;
18+
}
19+
20+
.highlight {
21+
background:#1e2125 !important;
22+
}
23+
.bp {
24+
color:#3465a4 !important;
25+
}
26+
.c, .c1, .cm, .cs {
27+
color:#d15eed !important;
28+
font-style:italic !important;
29+
}
30+
.cp {
31+
color:#a0a0a0 !important;
32+
}
33+
.err {
34+
color:#a40000 !important;
35+
border:1px solid #ef2929 !important;
36+
}
37+
.g {
38+
color:#fff !important;
39+
}
40+
.gd {
41+
color:#a40000 !important;
42+
}
43+
.ge {
44+
color:#fff !important;
45+
font-style:italic !important;
46+
}
47+
.gh {
48+
color:navy !important;
49+
}
50+
.gi {
51+
color:#00a000 !important;
52+
}
53+
.go {
54+
color:grey !important;
55+
}
56+
.gp {
57+
color:#745334 !important;
58+
}
59+
.gr {
60+
color:#ef2929 !important;
61+
}
62+
.gs {
63+
color:#fff !important;
64+
}
65+
.gs,
66+
.gt {
67+
font-weight:700 !important;
68+
}
69+
.gt {
70+
color:#a40000 !important;
71+
}
72+
.gu {
73+
color:purple !important;
74+
font-weight:700 !important;
75+
}
76+
.hll {
77+
background-color:#ff3 !important;
78+
}
79+
.il {
80+
color:#1299da !important;
81+
}
82+
.k, .kc, .kd, .kn, .kp, .kr, .kt {
83+
color:#ff8400 !important;
84+
}
85+
.l, .ld {
86+
color:#fff !important;
87+
}
88+
.m, .mf, .mh, .mi, .mo {
89+
color:#1299da !important;
90+
}
91+
.n, .na, .nb, .nc, .nf, .nn, .no, .nv, .nx {
92+
color:#fff !important;
93+
}
94+
.nd {
95+
color:grey !important;
96+
}
97+
.ne {
98+
color:#ef2929 !important;
99+
}
100+
.nl {
101+
color:#ff8400 !important;
102+
}
103+
.nt {
104+
color:#ccc !important;
105+
}
106+
.ni, .o, .ow {
107+
color:#e67700 !important;
108+
}
109+
.p {
110+
color:#939393 !important;
111+
}
112+
.py {
113+
color:#fff !important;
114+
}
115+
.s, .s1, .s2, .sb, .sc, .se, .sh, .si, .sr, .ss, .sx {
116+
color:#56db3a !important;
117+
}
118+
.sd {
119+
color:#d15eed !important;
120+
font-style:italic !important;
121+
}
122+
.vc, .vg, .vi {
123+
color:#fff !important;
124+
}
125+
.w {
126+
color:#f8f8f8 !important;
127+
text-decoration:underline !important;
128+
}
129+
.x {
130+
color:#fff !important;
131+
}
132+
.p-Indicator {
133+
color:#ff8400 !important;
134+
}
135+
.highlight-rst .gh {
136+
color:#fff !important;
137+
}
138+
.highlight-php .highlight .err {
139+
border:0 !important;
140+
color:inherit !important;
141+
}
142+
.highlight-diff .highlight>pre {
143+
padding-left:1.5em !important;
144+
}
145+
.highlight-diff .gi {
146+
background:rgba(51,102,102,.4) !important;
147+
color:#8c8 !important;
148+
margin-left:-15px !important;
149+
padding:2px 0 2px 1px !important;
150+
}
151+
.highlight-diff .gd {
152+
background:rgba(102,51,51,.6) !important;
153+
color:#c88 !important;
154+
margin-left:-15px !important;
155+
padding:2px 0 2px 1px !important;
156+
}

_build/_static/symfony-logo.svg

Lines changed: 1 addition & 0 deletions
Loading

_build/_themes/sphinx_rtd_theme/__init__.py

Lines changed: 0 additions & 19 deletions
This file was deleted.

_build/_themes/sphinx_rtd_theme/breadcrumbs.html

Lines changed: 0 additions & 82 deletions
This file was deleted.

_build/_themes/sphinx_rtd_theme/footer.html

Lines changed: 0 additions & 52 deletions
This file was deleted.

0 commit comments

Comments
 (0)