1
@import url("basic.css");
4
font-family: Arial, Sans-Serif;
5
background-color: white;
11
background-color: black;
18
text-decoration: none;
21
background-color: white;
38
font-family: "DejaVu Serif";
49
h1 { font-size: 260%;}
50
h2 { font-size: 180%;}
51
h3 { font-size: 130%;}
64
text-decoration: none;
68
border-bottom: 1px dotted #00B0E4;
71
div.sphinxsidebar a:link, div.sphinxsidebar a:visited {
73
border-bottom: 1px dotted #555;
76
div.sphinxsidebar input {
77
border: 1px solid #ccc;
81
border: 1px solid #ccc;
86
box-shadow: 2px 2px #ddd;
94
div.sidebarlogo .title {
95
font-family: "DejaVu Serif";
99
div.sidebarlogo .subtitle {
111
div.admonition p.admonition-title + p {
123
p.admonition-title:after {
128
background-color: #eee;
129
border: 1px solid #ccc;
131
box-shadow: 2px 2px #ddd;
135
background-color: #ffe;
136
border: 1px solid #ff6;
138
box-shadow: 2px 2px #dd6;