slidy.css 8.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405
  1. /* slidy.css
  2. Copyright (c) 2005-2010 W3C (MIT, ERCIM, Keio), All Rights Reserved.
  3. W3C liability, trademark, document use and software licensing
  4. rules apply, see:
  5. http://www.w3.org/Consortium/Legal/copyright-documents
  6. http://www.w3.org/Consortium/Legal/copyright-software
  7. */
  8. body
  9. {
  10. margin: 0 0 0 0;
  11. padding: 0 0 0 0;
  12. width: 100%;
  13. height: 100%;
  14. color: black;
  15. background-color: white;
  16. font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;
  17. font-size: 14pt;
  18. }
  19. div.toolbar {
  20. position: fixed; z-index: 200;
  21. top: auto; bottom: 0; left: 0; right: 0;
  22. height: 1.2em; text-align: right;
  23. padding-left: 1em;
  24. padding-right: 1em;
  25. font-size: 60%;
  26. color: red;
  27. background-color: rgb(240,240,240);
  28. border-top: solid 1px rgb(180,180,180);
  29. }
  30. div.toolbar span.copyright {
  31. color: black;
  32. margin-left: 0.5em;
  33. }
  34. div.initial_prompt {
  35. position: absolute;
  36. z-index: 1000;
  37. bottom: 1.2em;
  38. width: 100%;
  39. background-color: rgb(200,200,200);
  40. opacity: 0.35;
  41. background-color: rgb(200,200,200, 0.35);
  42. cursor: pointer;
  43. }
  44. div.initial_prompt p.help {
  45. text-align: center;
  46. }
  47. div.initial_prompt p.close {
  48. text-align: right;
  49. font-style: italic;
  50. }
  51. div.slidy_toc {
  52. position: absolute;
  53. z-index: 300;
  54. width: 60%;
  55. max-width: 30em;
  56. height: 30em;
  57. overflow: auto;
  58. top: auto;
  59. right: auto;
  60. left: 4em;
  61. bottom: 4em;
  62. padding: 1em;
  63. background: rgb(240,240,240);
  64. border-style: solid;
  65. border-width: 2px;
  66. font-size: 60%;
  67. }
  68. div.slidy_toc .toc_heading {
  69. text-align: center;
  70. width: 100%;
  71. margin: 0;
  72. margin-bottom: 1em;
  73. border-bottom-style: solid;
  74. border-bottom-color: rgb(180,180,180);
  75. border-bottom-width: 1px;
  76. }
  77. div.slide {
  78. z-index: 20;
  79. margin: 0 0 0 0;
  80. padding-top: 0;
  81. padding-bottom: 0;
  82. padding-left: 20px;
  83. padding-right: 20px;
  84. border-width: 0;
  85. clear: both;
  86. top: 0;
  87. bottom: 0;
  88. left: 0;
  89. right: 0;
  90. line-height: 120%;
  91. background-color: transparent;
  92. }
  93. div.background {
  94. display: none;
  95. }
  96. div.handout {
  97. margin-left: 20px;
  98. margin-right: 20px;
  99. }
  100. div.slide.titlepage {
  101. text-align: center;
  102. }
  103. div.slide.titlepage h1 {
  104. padding-top: 10%;
  105. margin-right: 0;
  106. }
  107. div.slide h1 {
  108. padding-left: 0;
  109. padding-right: 20pt;
  110. padding-top: 4pt;
  111. padding-bottom: 4pt;
  112. margin-top: 0;
  113. margin-left: 0;
  114. margin-right: 60pt;
  115. margin-bottom: 0.5em;
  116. display: block;
  117. font-size: 160%;
  118. line-height: 1.2em;
  119. background: transparent;
  120. }
  121. div.toc {
  122. position: absolute;
  123. top: auto;
  124. bottom: 4em;
  125. left: 4em;
  126. right: auto;
  127. width: 60%;
  128. max-width: 30em;
  129. height: 30em;
  130. border: solid thin black;
  131. padding: 1em;
  132. background: rgb(240,240,240);
  133. color: black;
  134. z-index: 300;
  135. overflow: auto;
  136. display: block;
  137. visibility: visible;
  138. }
  139. div.toc-heading {
  140. width: 100%;
  141. border-bottom: solid 1px rgb(180,180,180);
  142. margin-bottom: 1em;
  143. text-align: center;
  144. }
  145. img {
  146. image-rendering: optimize-quality;
  147. }
  148. pre {
  149. font-size: 80%;
  150. font-weight: bold;
  151. line-height: 120%;
  152. padding-top: 0.2em;
  153. padding-bottom: 0.2em;
  154. padding-left: 1em;
  155. padding-right: 1em;
  156. border-style: solid;
  157. border-left-width: 1em;
  158. border-top-width: thin;
  159. border-right-width: thin;
  160. border-bottom-width: thin;
  161. border-color: #95ABD0;
  162. color: #00428C;
  163. background-color: #E4E5E7;
  164. }
  165. li pre { margin-left: 0; }
  166. blockquote { font-style: italic }
  167. img { background-color: transparent }
  168. p.copyright { font-size: smaller }
  169. .center { text-align: center }
  170. .footnote { font-size: smaller; margin-left: 2em; }
  171. a img { border-width: 0; border-style: none }
  172. a:visited { color: navy }
  173. a:link { color: navy }
  174. a:hover { color: red; text-decoration: underline }
  175. a:active { color: red; text-decoration: underline }
  176. a {text-decoration: none}
  177. .navbar a:link {color: white}
  178. .navbar a:visited {color: yellow}
  179. .navbar a:active {color: red}
  180. .navbar a:hover {color: red}
  181. ul { list-style-type: square; }
  182. ul ul { list-style-type: disc; }
  183. ul ul ul { list-style-type: circle; }
  184. ul ul ul ul { list-style-type: disc; }
  185. li { margin-left: 0.5em; margin-top: 0.5em; }
  186. li li { font-size: 85%; font-style: italic }
  187. li li li { font-size: 85%; font-style: normal }
  188. div dt
  189. {
  190. margin-left: 0;
  191. margin-top: 1em;
  192. margin-bottom: 0.5em;
  193. font-weight: bold;
  194. }
  195. div dd
  196. {
  197. margin-left: 2em;
  198. margin-bottom: 0.5em;
  199. }
  200. p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6,dl,table {
  201. margin-left: 1em;
  202. margin-right: 1em;
  203. }
  204. p.subhead { font-weight: bold; margin-top: 2em; }
  205. .smaller { font-size: smaller }
  206. .bigger { font-size: 130% }
  207. td,th { padding: 0.2em }
  208. ul {
  209. margin: 0.5em 1.5em 0.5em 1.5em;
  210. padding: 0;
  211. }
  212. ol {
  213. margin: 0.5em 1.5em 0.5em 1.5em;
  214. padding: 0;
  215. }
  216. ul { list-style-type: square; }
  217. ul ul { list-style-type: disc; }
  218. ul ul ul { list-style-type: circle; }
  219. ul ul ul ul { list-style-type: disc; }
  220. ul li {
  221. list-style: square;
  222. margin: 0.1em 0em 0.6em 0;
  223. padding: 0 0 0 0;
  224. line-height: 140%;
  225. }
  226. ol li {
  227. margin: 0.1em 0em 0.6em 1.5em;
  228. padding: 0 0 0 0px;
  229. line-height: 140%;
  230. list-style-type: decimal;
  231. }
  232. li ul li {
  233. font-size: 85%;
  234. font-style: italic;
  235. list-style-type: disc;
  236. background: transparent;
  237. padding: 0 0 0 0;
  238. }
  239. li li ul li {
  240. font-size: 85%;
  241. font-style: normal;
  242. list-style-type: circle;
  243. background: transparent;
  244. padding: 0 0 0 0;
  245. }
  246. li li li ul li {
  247. list-style-type: disc;
  248. background: transparent;
  249. padding: 0 0 0 0;
  250. }
  251. li ol li {
  252. list-style-type: decimal;
  253. }
  254. li li ol li {
  255. list-style-type: decimal;
  256. }
  257. /*
  258. setting class="outline on ol or ul makes it behave as an
  259. ouline list where blocklevel content in li elements is
  260. hidden by default and can be expanded or collapsed with
  261. mouse click. Set class="expand" on li to override default
  262. */
  263. ol.outline li:hover { cursor: pointer }
  264. ol.outline li.nofold:hover { cursor: default }
  265. ul.outline li:hover { cursor: pointer }
  266. ul.outline li.nofold:hover { cursor: default }
  267. ol.outline { list-style:decimal; }
  268. ol.outline ol { list-style-type:lower-alpha }
  269. ol.outline li.nofold {
  270. padding: 0 0 0 20px;
  271. background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.5em;
  272. }
  273. ol.outline li.unfolded {
  274. padding: 0 0 0 20px;
  275. background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.5em;
  276. }
  277. ol.outline li.folded {
  278. padding: 0 0 0 20px;
  279. background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.5em;
  280. }
  281. ol.outline li.unfolded:hover {
  282. padding: 0 0 0 20px;
  283. background: transparent url(../graphics/fold.gif) no-repeat 0px 0.5em;
  284. }
  285. ol.outline li.folded:hover {
  286. padding: 0 0 0 20px;
  287. background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.5em;
  288. }
  289. ul.outline li.nofold {
  290. padding: 0 0 0 20px;
  291. background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.5em;
  292. }
  293. ul.outline li.unfolded {
  294. padding: 0 0 0 20px;
  295. background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.5em;
  296. }
  297. ul.outline li.folded {
  298. padding: 0 0 0 20px;
  299. background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.5em;
  300. }
  301. ul.outline li.unfolded:hover {
  302. padding: 0 0 0 20px;
  303. background: transparent url(../graphics/fold.gif) no-repeat 0px 0.5em;
  304. }
  305. ul.outline li.folded:hover {
  306. padding: 0 0 0 20px;
  307. background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.5em;
  308. }
  309. /* for slides with class "title" in table of contents */
  310. a.titleslide { font-weight: bold; font-style: italic }
  311. /*
  312. hide images for work around for save as bug
  313. where browsers fail to save images used by CSS
  314. */
  315. img.hidden { display: none; visibility: hidden }
  316. div.initial_prompt { display: none; visibility: hidden }
  317. div.slide {
  318. visibility: visible;
  319. position: inherit;
  320. }
  321. div.handout {
  322. border-top-style: solid;
  323. border-top-width: thin;
  324. border-top-color: black;
  325. }
  326. @media screen {
  327. .hidden { display: none; visibility: visible }
  328. div.slide.hidden { display: block; visibility: visible }
  329. div.handout.hidden { display: block; visibility: visible }
  330. div.background { display: none; visibility: hidden }
  331. body.single_slide div.initial_prompt { display: block; visibility: visible }
  332. body.single_slide div.background { display: block; visibility: visible }
  333. body.single_slide div.background.hidden { display: none; visibility: hidden }
  334. body.single_slide .invisible { visibility: hidden }
  335. body.single_slide .hidden { display: none; visibility: hidden }
  336. body.single_slide div.slide { position: absolute }
  337. body.single_slide div.handout { display: none; visibility: hidden }
  338. }
  339. @media print {
  340. .hidden { display: block; visibility: visible }
  341. div.slide pre { font-size: 60%; padding-left: 0.5em; }
  342. div.toolbar { display: none; visibility: hidden; }
  343. div.slidy_toc { display: none; visibility: hidden; }
  344. div.background { display: none; visibility: hidden; }
  345. div.slide { page-break-before: always }
  346. /* :first-child isn't reliable for print media */
  347. div.slide.first-slide { page-break-before: avoid }
  348. }