File: HowToBuildFromSource.css

package info (click to toggle)
squeak-vm 1%3A4.10.2.2614-4.1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 13,284 kB
  • ctags: 15,344
  • sloc: ansic: 75,096; cs: 11,191; objc: 5,494; sh: 3,170; asm: 1,533; cpp: 449; pascal: 372; makefile: 366; awk: 103
file content (58 lines) | stat: -rw-r--r-- 1,703 bytes parent folder | download | duplicates (6)
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }

/* implement both fixed-size and relative sizes */
SMALL.XTINY		{ font-size : xx-small }
SMALL.TINY		{ font-size : x-small  }
SMALL.SCRIPTSIZE	{ font-size : smaller  }
SMALL.FOOTNOTESIZE	{ font-size : small    }
SMALL.SMALL		{  }
BIG.LARGE		{  }
BIG.XLARGE		{ font-size : large    }
BIG.XXLARGE		{ font-size : x-large  }
BIG.HUGE		{ font-size : larger   }
BIG.XHUGE		{ font-size : xx-large }

/* heading styles */
H1		{  }
H2		{  }
H3		{  }
H4		{  }
H5		{  }

/* mathematics styles */
DIV.displaymath		{ }	/* math displays */
TD.eqno			{ }	/* equation-number cells */


/* document-specific styles come next */
DIV.navigation		{   }
DIV.alltt		{   }
DIV.quote		{   }
SPAN.tt		{   }
SPAN.textit		{ font-style: italic  }
SPAN.arabic		{   }
SPAN.textbf		{ font-weight: bold  }
SPAN.textsf		{ font-style: italic  }
#hue544		{ color: #0000ff;  }
#hue546		{ color: #0000ff;  }
#hue548		{ color: #0000ff;  }
#hue550		{ color: #0000ff;  }
#hue552		{ color: #0000ff;  }
#hue554		{ color: #0000ff;  }
#hue556		{ color: #0000ff;  }
#hue558		{ color: #0000ff;  }
#hue560		{ color: #ff0000;  }
#hue562		{ color: #0000ff;  }
#hue564		{ color: #0000ff;  }
#hue566		{ color: #0000ff;  }
#hue570		{ color: #ff0000;  }
#hue574		{ color: #0000ff;  }
#hue579		{ color: #ff0000;  }
#hue593		{ color: #000000;  }
#hue608		{ color: #000000;  }
#hue613		{ color: #000000;  }
#hue655		{ color: #000000;  }
#txt149		{ text-decoration: underline;  }