summaryrefslogtreecommitdiff
path: root/box/talk/p2p/slidy.css
blob: c713c882e00fccacd865d6f01892959125ba5d45 (plain)
  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: rgba(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. @media screen and (max-device-width: 1024px)
  122. {
  123. div.slide { font-size: 100%; }
  124. }
  125. @media screen and (max-device-width: 800px)
  126. {
  127. div.slide { font-size: 200%; }
  128. div.slidy_toc {
  129. top: 1em;
  130. left: 1em;
  131. right: auto;
  132. width: 80%;
  133. font-size: 180%;
  134. }
  135. }
  136. div.toc-heading {
  137. width: 100%;
  138. border-bottom: solid 1px rgb(180,180,180);
  139. margin-bottom: 1em;
  140. text-align: center;
  141. }
  142. img {
  143. image-rendering: optimize-quality;
  144. }
  145. pre {
  146. font-size: 80%;
  147. font-weight: bold;
  148. line-height: 120%;
  149. padding-top: 0.2em;
  150. padding-bottom: 0.2em;
  151. padding-left: 1em;
  152. padding-right: 1em;
  153. border-style: solid;
  154. border-left-width: 1em;
  155. border-top-width: thin;
  156. border-right-width: thin;
  157. border-bottom-width: thin;
  158. border-color: #95ABD0;
  159. color: #00428C;
  160. background-color: #E4E5E7;
  161. }
  162. li pre { margin-left: 0; }
  163. blockquote { font-style: italic }
  164. img { background-color: transparent }
  165. p.copyright { font-size: smaller }
  166. .center { text-align: center }
  167. .footnote { font-size: smaller; margin-left: 2em; }
  168. a img { border-width: 0; border-style: none }
  169. a:visited { color: navy }
  170. a:link { color: navy }
  171. a:hover { color: red; text-decoration: underline }
  172. a:active { color: red; text-decoration: underline }
  173. a {text-decoration: none}
  174. .toolbar a:link {color: blue}
  175. .toolbar a:visited {color: blue}
  176. .toolbar a:active {color: red}
  177. .toolbar a:hover {color: red}
  178. ul { list-style-type: square; }
  179. ul ul { list-style-type: disc; }
  180. ul ul ul { list-style-type: circle; }
  181. ul ul ul ul { list-style-type: disc; }
  182. li { margin-left: 0.5em; margin-top: 0.5em; }
  183. li li { font-size: 85%; font-style: italic }
  184. li li li { font-size: 85%; font-style: normal }
  185. div dt
  186. {
  187. margin-left: 0;
  188. margin-top: 1em;
  189. margin-bottom: 0.5em;
  190. font-weight: bold;
  191. }
  192. div dd
  193. {
  194. margin-left: 2em;
  195. margin-bottom: 0.5em;
  196. }
  197. p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6,dl,table {
  198. margin-left: 1em;
  199. margin-right: 1em;
  200. }
  201. p.subhead { font-weight: bold; margin-top: 2em; }
  202. .smaller { font-size: smaller }
  203. .bigger { font-size: 130% }
  204. td,th { padding: 0.2em }
  205. ul {
  206. margin: 0.5em 1.5em 0.5em 1.5em;
  207. padding: 0;
  208. }
  209. ol {
  210. margin: 0.5em 1.5em 0.5em 1.5em;
  211. padding: 0;
  212. }
  213. ul { list-style-type: square; }
  214. ul ul { list-style-type: disc; }
  215. ul ul ul { list-style-type: circle; }
  216. ul ul ul ul { list-style-type: disc; }
  217. ul li {
  218. list-style: square;
  219. margin: 0.1em 0em 0.6em 0;
  220. padding: 0 0 0 0;
  221. line-height: 140%;
  222. }
  223. ol li {
  224. margin: 0.1em 0em 0.6em 1.5em;
  225. padding: 0 0 0 0px;
  226. line-height: 140%;
  227. list-style-type: decimal;
  228. }
  229. li ul li {
  230. font-size: 85%;
  231. font-style: italic;
  232. list-style-type: disc;
  233. background: transparent;
  234. padding: 0 0 0 0;
  235. }
  236. li li ul li {
  237. font-size: 85%;
  238. font-style: normal;
  239. list-style-type: circle;
  240. background: transparent;
  241. padding: 0 0 0 0;
  242. }
  243. li li li ul li {
  244. list-style-type: disc;
  245. background: transparent;
  246. padding: 0 0 0 0;
  247. }
  248. li ol li {
  249. list-style-type: decimal;
  250. }
  251. li li ol li {
  252. list-style-type: decimal;
  253. }
  254. /*
  255. setting class="outline on ol or ul makes it behave as an
  256. ouline list where blocklevel content in li elements is
  257. hidden by default and can be expanded or collapsed with
  258. mouse click. Set class="expand" on li to override default
  259. */
  260. ol.outline li:hover { cursor: pointer }
  261. ol.outline li.nofold:hover { cursor: default }
  262. ul.outline li:hover { cursor: pointer }
  263. ul.outline li.nofold:hover { cursor: default }
  264. ol.outline { list-style:decimal; }
  265. ol.outline ol { list-style-type:lower-alpha }
  266. ol.outline li.nofold {
  267. padding: 0 0 0 20px;
  268. background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.5em;
  269. }
  270. ol.outline li.unfolded {
  271. padding: 0 0 0 20px;
  272. background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.5em;
  273. }
  274. ol.outline li.folded {
  275. padding: 0 0 0 20px;
  276. background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.5em;
  277. }
  278. ol.outline li.unfolded:hover {
  279. padding: 0 0 0 20px;
  280. background: transparent url(../graphics/fold.gif) no-repeat 0px 0.5em;
  281. }
  282. ol.outline li.folded:hover {
  283. padding: 0 0 0 20px;
  284. background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.5em;
  285. }
  286. ul.outline li.nofold {
  287. padding: 0 0 0 20px;
  288. background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.5em;
  289. }
  290. ul.outline li.unfolded {
  291. padding: 0 0 0 20px;
  292. background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.5em;
  293. }
  294. ul.outline li.folded {
  295. padding: 0 0 0 20px;
  296. background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.5em;
  297. }
  298. ul.outline li.unfolded:hover {
  299. padding: 0 0 0 20px;
  300. background: transparent url(../graphics/fold.gif) no-repeat 0px 0.5em;
  301. }
  302. ul.outline li.folded:hover {
  303. padding: 0 0 0 20px;
  304. background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.5em;
  305. }
  306. /* for slides with class "title" in table of contents */
  307. a.titleslide { font-weight: bold; font-style: italic }
  308. /*
  309. hide images for work around for save as bug
  310. where browsers fail to save images used by CSS
  311. */
  312. img.hidden { display: none; visibility: hidden }
  313. div.initial_prompt { display: none; visibility: hidden }
  314. div.slide {
  315. visibility: visible;
  316. position: inherit;
  317. }
  318. div.handout {
  319. border-top-style: solid;
  320. border-top-width: thin;
  321. border-top-color: black;
  322. }
  323. @media screen {
  324. .hidden { display: none; visibility: visible }
  325. div.slide.hidden { display: block; visibility: visible }
  326. div.handout.hidden { display: block; visibility: visible }
  327. div.background { display: none; visibility: hidden }
  328. body.single_slide div.initial_prompt { display: block; visibility: visible }
  329. body.single_slide div.background { display: block; visibility: visible }
  330. body.single_slide div.background.hidden { display: none; visibility: hidden }
  331. body.single_slide .invisible { visibility: hidden }
  332. body.single_slide .hidden { display: none; visibility: hidden }
  333. body.single_slide div.slide { position: absolute }
  334. body.single_slide div.handout { display: none; visibility: hidden }
  335. }
  336. @media print {
  337. .hidden { display: block; visibility: visible }
  338. div.slide pre { font-size: 60%; padding-left: 0.5em; }
  339. div.toolbar { display: none; visibility: hidden; }
  340. div.slidy_toc { display: none; visibility: hidden; }
  341. div.background { display: none; visibility: hidden; }
  342. div.slide { page-break-before: always }
  343. /* :first-child isn't reliable for print media */
  344. div.slide.first-slide { page-break-before: avoid }
  345. }