annotate docs/pycon2010/ui/pycon/pretty.css~ @ 426:05a44bf4b449

delete pdb
author catherine.devlin@gmail.com
date Thu, 28 Jul 2011 01:13:46 -0400
parents 89e38f922c25
children
rev   line source
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
1 /* This file has been placed in the public domain. */
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
2 /* Following are the presentation styles -- edit away! */
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
3
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
4 html, body {margin: 0; padding: 0;}
374
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
5 body {background: white; color: black; font-family: sans-serif;}
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
6 /* Replace the background style above with the style below (and again for
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
7 div#header) for a graphic: */
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
8 /* background: white url(bodybg.gif) -16px 0 no-repeat; */
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
9 :link, :visited {text-decoration: none; color: #00C;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
10 #controls :active {color: #88A !important;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
11 #controls :focus {outline: 1px dotted #227;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
12 h1, h2, h3, h4 {font-size: 100%; margin: 0; padding: 0; font-weight: inherit;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
13
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
14 blockquote {padding: 0 2em 0.5em; margin: 0 1.5em 0.5em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
15 blockquote p {margin: 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
16
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
17 kbd {font-weight: bold; font-size: 1em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
18 sup {font-size: smaller; line-height: 1px;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
19
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
20 .slide pre {padding: 0; margin-left: 0; margin-right: 0; font-size: 90%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
21 .slide ul ul li {list-style: square;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
22 .slide img.leader {display: block; margin: 0 auto;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
23 .slide tt {font-size: 90%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
24
374
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
25 div#header, div#footer {background: lightgreen; color: #AAB; font-family: sans-serif;}
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
26 /* background: lightgreen url(bodybg.gif) -16px 0 no-repeat; */
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
27 div#footer {font-size: 0.5em; font-weight: bold; padding: 1em 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
28 #footer h1 {display: block; padding: 0 1em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
29 #footer h2 {display: block; padding: 0.8em 1em 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
30
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
31 .slide {font-size: 1.2em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
32 .slide h1 {position: absolute; top: 0.45em; z-index: 1;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
33 margin: 0; padding-left: 0.7em; white-space: nowrap;
374
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
34 font: bold 150% sans-serif; color: #DDE; background: lightgreen;}
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
35 .slide h2 {font: bold 120%/1em sans-serif; padding-top: 0.5em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
36 .slide h3 {font: bold 100% sans-serif; padding-top: 0.5em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
37 h1 abbr {font-variant: small-caps;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
38
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
39 div#controls {position: absolute; left: 50%; bottom: 0;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
40 width: 50%; text-align: right; font: bold 0.9em sans-serif;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
41 html>body div#controls {position: fixed; padding: 0 0 1em 0; top: auto;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
42 div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
43 margin: 0; padding: 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
44 #controls #navLinks a {padding: 0; margin: 0 0.5em;
374
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
45 background: lightgreen; border: none; color: #779; cursor: pointer;}
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
46 #controls #navList {height: 1em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
47 #controls #navList #jumplist {position: absolute; bottom: 0; right: 0;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
48 background: #DDD; color: #227;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
49
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
50 #currentSlide {text-align: center; font-size: 0.5em; color: #449;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
51 font-family: sans-serif; font-weight: bold;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
52
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
53 #slide0 {padding-top: 1.5em}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
54 #slide0 h1 {position: static; margin: 1em 0 0; padding: 0; color: #000;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
55 font: bold 2em sans-serif; white-space: normal; background: transparent;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
56 #slide0 h2 {font: bold italic 1em sans-serif; margin: 0.25em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
57 #slide0 h3 {margin-top: 1.5em; font-size: 1.5em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
58 #slide0 h4 {margin-top: 0; font-size: 1em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
59
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
60 ul.urls {list-style: none; display: inline; margin: 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
61 .urls li {display: inline; margin: 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
62 .external {border-bottom: 1px dotted gray;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
63 html>body .external {border-bottom: none;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
64 .external:after {content: " \274F"; font-size: smaller; color: #77B;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
65
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
66 .incremental, .incremental *, .incremental *:after {visibility: visible;
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
67 color: white; border: 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
68 img.incremental {visibility: hidden;}
374
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
69 .slide .current {color: lightgreen;}
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
70
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
71 .slide-display {display: inline ! important;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
72
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
73 .huge {font-family: sans-serif; font-weight: bold; font-size: 150%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
74 .big {font-family: sans-serif; font-weight: bold; font-size: 120%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
75 .small {font-size: 75%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
76 .tiny {font-size: 50%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
77 .huge tt, .big tt, .small tt, .tiny tt {font-size: 115%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
78 .huge pre, .big pre, .small pre, .tiny pre {font-size: 115%;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
79
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
80 .maroon {color: maroon;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
81 .red {color: red;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
82 .magenta {color: magenta;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
83 .fuchsia {color: fuchsia;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
84 .pink {color: #FAA;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
85 .orange {color: orange;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
86 .yellow {color: yellow;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
87 .lime {color: lime;}
374
89e38f922c25 font sizes up
cat@eee
parents: 372
diff changeset
88 .lightgreen {color: lightgreen;}
372
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
89 .olive {color: olive;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
90 .teal {color: teal;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
91 .cyan {color: cyan;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
92 .aqua {color: aqua;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
93 .blue {color: blue;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
94 .navy {color: navy;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
95 .purple {color: purple;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
96 .black {color: black;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
97 .gray {color: gray;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
98 .silver {color: silver;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
99 .white {color: white;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
100
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
101 .left {text-align: left ! important;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
102 .center {text-align: center ! important;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
103 .right {text-align: right ! important;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
104
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
105 .animation {position: relative; margin: 1em 0; padding: 0;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
106 .animation img {position: absolute;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
107
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
108 /* Docutils-specific overrides */
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
109
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
110 .slide table.docinfo {margin: 1em 0 0.5em 2em;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
111
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
112 pre.literal-block, pre.doctest-block {background-color: white;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
113
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
114 tt.docutils {background-color: white;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
115
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
116 /* diagnostics */
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
117 /*
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
118 li:after {content: " [" attr(class) "]"; color: #F88;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
119 div:before {content: "[" attr(class) "]"; color: #F88;}
bf314710e64b can't make theme work
cat@eee
parents:
diff changeset
120 */