File: main.css

package info (click to toggle)
polyml 5.8.1-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 57,736 kB
  • sloc: cpp: 44,918; ansic: 26,921; asm: 13,495; sh: 4,670; makefile: 610; exp: 525; python: 253; awk: 91
file content (32 lines) | stat: -rw-r--r-- 559 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
 
BODY {
	font-family: arial, sans-serif;
	font-size: 11pt;
	line-height: 1.4em;
	color: #000000;
	background-color: #FFFFFF;
}

CODE {
  font-size: 11pt;
  font-family: Courier New, Courier, mono;
}

.packet {
  margin: 4px;
	margin-left: 1em;
  padding: 2px;
  padding-left: 1em;
  padding-right: 1em;
  white-space: pre;
  font-family: Courier New, Courier, mono;
	font-size: 11pt;
  border: 1px dotted;
}

.packet-name {
	/* font-weight: bold; */
  color: #770000;
}
.function {
	font-family: "Courier New", Courier, mono;
}