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
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