Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

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

563640 views
Tweet
Share
Share
1
BODY {

2
	PADDING-RIGHT: 40px;

3
        PADDING-LEFT: 40px;

4
	PADDING-BOTTOM: 40px;

5
	PADDING-TOP: 40px;

6
	font-family: sans-serif;

7
	Background-color: #ccffff;

8
	Color: #000066;

9
}

10
#content {

11
	PADDING-TOP: 3px; 

12
	PADDING-LEFT:1em;

13
      PADDING-RIGHT: 1em;

14
      PADDING-BOTTOM:1em; 

15
      Margin-bottom: 1em;

16
      Background-color: #ffffff;

17
      Color: #000066;

18
}

19
DIV.paddingwrap {

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

21
}

22
SUB {	font-size : 70%;

23
}

24
SUP {   font-size : 70%;

25
}

26


27
H2 {

28
	 PADDING-TOP: 0em; PADDING-BOTTOM: 1em; Text-Align: center;

29
}

30


31
H1 {

32
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0x; 

33
}

34
H4 {

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

36
}

37
LI {

38
	PADDING-RIGHT: 0px; PADDING-LEFT: 3px; PADDING-BOTTOM: 0px; MARGIN-left: 2em; PADDING-TOP: 0px

39
}

40
H3 {

41
	Text-align:center; 

42
}

43
P {

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

45
}

46
OL {

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

48
}

49
CODE {

50
	font-family: monospace;

51
	DISPLAY: block; 

52
	BACKGROUND-COLOR: #dddddd

53
}

54


55
td {

56
	vertical-align: top; 

57
	background-color: rgb(255, 255, 255);

58
}

59


60
pre 

61
{ 

62
  font-family: monospace; 

63
  font-size: 100%; 

64
  color:#000000; 

65
  background-color: #dddddd

66
}

67


68
C{

69
 font-family: monospace;

70
 BACKGROUND-COLOR: #dddddd

71
}

72


73
a

74
{

75
  color: #000066

76
}

77


78
a:visited

79
{

80
  color: #000066

81
}

82


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

84
img

85
{ 

86
   border: 0;

87
}

88


89