CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
sagemathinc

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

GitHub Repository: sagemathinc/cocalc
 Path: blob/master/src/packages/assets/misc/talk-20121004/ui/default/pretty.css
Views: 687
1
/*

2
 *  This file is part of CoCalc: Copyright © 2020 Sagemath, Inc.

3
 *  License: MS-RSL – see LICENSE.md for details

4
 */

5


6
body {background: #FFF url(bodybg.gif) -16px 0 no-repeat; color: #000; font-size: 2em;}

7
:link, :visited {text-decoration: none; color: #00C;}

8
#controls :active {color: #88A !important;}

9
#controls :focus {outline: 1px dotted #227;}

10
h1, h2, h3, h4 {font-size: 100%; margin: 0; padding: 0; font-weight: inherit;}

11
ul, pre {margin: 0; line-height: 1em;}

12
html, body {margin: 0; padding: 0;}

13


14
blockquote, q {font-style: italic;}

15
blockquote {padding: 0 2em 0.5em; margin: 0 1.5em 0.5em; text-align: center; font-size: 1em;}

16
blockquote p {margin: 0;}

17
blockquote i {font-style: normal;}

18
blockquote b {display: block; margin-top: 0.5em; font-weight: normal; font-size: smaller; font-style: normal;}

19
blockquote b i {font-style: italic;}

20


21
kbd {font-weight: bold; font-size: 1em;}

22
sup {font-size: smaller; line-height: 1px;}

23


24
.slide code {padding: 2px 0.25em; font-weight: bold; color: #533;}

25
.slide code.bad, code del {color: red;}

26
.slide code.old {color: silver;}

27
.slide pre {padding: 0; margin: 0.25em 0 0.5em 0.5em; color: #533; font-size: 90%;}

28
.slide pre code {display: block;}

29
.slide ul {margin-left: 5%; margin-right: 7%; list-style: disc;}

30
.slide li {margin-top: 0.75em; margin-right: 0;}

31
.slide ul ul {line-height: 1;}

32
.slide ul ul li {margin: .2em; font-size: 85%; list-style: square;}

33
.slide img.leader {display: block; margin: 0 auto;}

34


35
div#header, div#footer {background: #00B; color: #AAB;

36
  font-family: Verdana, Helvetica, sans-serif;}

37
div#header {background: #00B url(bodybg.gif) -16px 0 no-repeat;

38
  line-height: 1px;}

39
div#footer {font-size: 0.5em; font-weight: bold; padding: 1em 0;}

40
#footer h1, #footer h2 {display: block; padding: 0 1em;}

41
#footer h2 {font-style: italic;}

42


43
div.long {font-size: 0.75em;}

44
.slide h1 {position: absolute; top: 0.7em; left: 87px; z-index: 1;

45
  margin: 0; padding: 0.3em 0 0 50px; white-space: nowrap;

46
  font: bold 150%/1em Helvetica, sans-serif; text-transform: capitalize;

47
  color: #DDE; background: #00B;}

48
.slide h3 {font-size: 130%;}

49
h1 abbr {font-variant: small-caps;}

50


51
div#controls {position: absolute; left: 50%; bottom: 0;

52
  width: 50%;

53
  text-align: right; font: bold 0.9em Verdana, Helvetica, sans-serif;}

54
html>body div#controls {position: fixed; padding: 0 0 1em 0;

55
  top: auto;}

56
div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;

57
  margin: 0; padding: 0;}

58
#controls #navLinks a {padding: 0; margin: 0 0.5em; 

59
  background: #00B; border: none; color: #779; 

60
  cursor: pointer;}

61
#controls #navList {height: 1em;}

62
#controls #navList #jumplist {position: absolute; bottom: 0; right: 0; background: #DDD; color: #227;}

63


64
#currentSlide {text-align: center; font-size: 0.5em; color: #449;}

65


66
#slide0 {padding-top: 3.5em; font-size: 90%;}

67
#slide0 h1 {position: static; margin: 1em 0 0; padding: 0;

68
   font: bold 2em Helvetica, sans-serif; white-space: normal;

69
   color: #000; background: transparent;}

70
#slide0 h2 {font: bold italic 1em Helvetica, sans-serif; margin: 0.25em;}

71
#slide0 h3 {margin-top: 1.5em; font-size: 1.5em;}

72
#slide0 h4 {margin-top: 0; font-size: 1em;}

73


74
ul.urls {list-style: none; display: inline; margin: 0;}

75
.urls li {display: inline; margin: 0;}

76
.note {display: none;}

77
.external {border-bottom: 1px dotted gray;}

78
html>body .external {border-bottom: none;}

79
.external:after {content: " \274F"; font-size: smaller; color: #77B;}

80


81
.incremental, .incremental *, .incremental *:after {color: #DDE; visibility: visible;}

82
img.incremental {visibility: hidden;}

83
.slide .current {color: #B02;}

84


85


86
/* diagnostics

87


88
li:after {content: " [" attr(class) "]"; color: #F88;}

89
 */

90