CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
BODY {

2
	PADDING-RIGHT: 0px;

3
        PADDING-LEFT: 0px;

4
	PADDING-BOTTOM: 0px;

5
	MARGIN: 0px;

6
	PADDING-TOP: 0px;

7
	font-family: sans-serif;

8
}

9


10


11
#content {

12
	PADDING-TOP: 1em; 

13
	PADDING-LEFT:1em;

14
      PADDING-RIGHT: 1em;

15
      PADDING-BOTTOM:1em; 

16
	COLOR: #000066;

17
}

18
#title {

19
	 PADDING-TOP: 10px;

20
	 TEXT-ALIGN: CENTER;

21
	 COLOR: #000066;

22
	 BACKGROUND-COLOR: #ccffff;

23
}

24
#navigation {

25
        PADDING-RIGHT: 4px;

26
        PADDING-LEFT: 0px;

27
        PADDING-BOTTOM: 0px;

28
        MARGIN: 0px;

29
        PADDING-TOP: 6px;

30
        COLOR: #000066; 

31
	BACKGROUND-COLOR: #ccffff;

32
}

33
#logo{

34
      OVERFLOW: hidden; 

35
      PADDING-TOP: 4px;

36
      PADDING-LEFT: 10px;

37
}

38
#content {

39
	BACKGROUND: #ffffff

40
}

41
DIV.paddingwrap {

42
	PADDING-RIGHT: 1em; PADDING-LEFT: 1em; PADDING-BOTTOM: 1em; MARGIN: 0px; PADDING-TOP: 1em

43
}

44
P {

45
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px

46
}

47
H2 {

48
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px

49
}

50
H1 {

51
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px; 

52
}

53
H4 {

54
	PADDING-RIGHT: 0px; PADDING-LEFT: 10px; PADDING-BOTTOM: 3px; MARGIN: 0px; PADDING-TOP: 3px

55
}

56
LI {

57
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px

58
}

59
H3 {

60
	MARGIN: 0px 0px 0px

61
}

62
P {

63
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0.75em 0px 0px; PADDING-TOP: 0px

64
}

65
OL {

66
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px 0px 2em 1em; PADDING-TOP: 0px

67
}

68
CODE {

69
 	font-family: monospace;

70
	DISPLAY: block; 

71
	BACKGROUND-COLOR: #dddddd

72
}

73


74


75
#navigation li 

76
{

77
  width: 110px;

78
  list-style: none;

79
  display: block;

80
  line-height: 22px;

81
  margin-bottom: 2px;

82
  background-color: #CCFFFF; 

83
  float: right;

84
  padding-right: 3px

85
}

86


87
#navigation li a 

88
{

89
  display: block;

90
  padding: 5px 5px 1px 10px;

91
  color: #000066;

92
  background-color: #ffffff;

93
  text-decoration: none;

94
  font-weight: bold;

95
}

96
#navigation li a:hover 

97
{

98
  color: #ccf;

99
}

100


101
#content a:link

102
{

103
  color: #000066

104
}

105


106
#content a:visited

107
{

108
  color: #000066

109
}

110


111
/* Remove the border around images (so that they don't have a box when they're a link)*/

112
img

113
{ 

114
   border: 0;

115
}

116


117