MySQL++

Check-in [59bd0d0eb5]
Login

Check-in [59bd0d0eb5]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Added doc/html/userman/tangentsoft.css to repo
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 59bd0d0eb5d147d4f35243c007dfbdf220273ca906c1a979138bcbe4a7221ffc
User & Date: tangent 2019-07-21 11:31:58.835
Context
2019-09-03
15:39
Added tools/prism.js so we can use an internal copy instead of rely on one stored statically on tangentsoft.com, so highlighting doesn't break in clones, etc. check-in: 7e320de3c9 user: tangent tags: trunk
2019-07-21
11:32
Merged tangentsoft.css fix up from trunk check-in: 1c32e5d9de user: tangent tags: v3.2.5, release
11:31
Added doc/html/userman/tangentsoft.css to repo check-in: 59bd0d0eb5 user: tangent tags: trunk
11:27
Small fixes to previous check-in: fb50a199eb user: tangent tags: trunk
Changes
Unified Diff Ignore Whitespace Patch
Added doc/html/userman/tangentsoft.css. 


























































































































































































































>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>

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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

BODY {
  background-color: #FFFFEE;
  font-family:
  	"Georgia",
	"Luxi Serif",
	"New Century Schoolbook",
	"Times New Roman",
  	"Times",
	serif;
  margin-left: 30pt; 
  margin-right: 30pt; 
}

a:link { 
  color: #491E00;
}

a:visited { 
  color: #7D2E01;
}

a:hover { 
  color: #CC5500;
  text-decoration: none;
}

a:active { 
  color: #DA7417;
}

DIV.footnote > P {
	font-size: 85%;
}

EM.phrase {
	/* Georgia's great, but oldstyle numerals make math hard to read */
	font-family: "Times", "Times New Roman", serif;
}

H1, H2, H3, H4, H5, H6, DIV.navheader > TABLE > TBODY > TR > TH {
  color: #501000;
  font-family:
  	"Verdana",
	"Luxi Sans",
	"Helvetica Narrow",
	"Arial",
	"Univers",
	sans-serif;
  font-weight: bold;
}

H1 {
  font-size: 20pt;
}

H2 {
  font-size: 18pt;
}

H3 {
  font-size: 14pt;
}

H4 {
  font-size: 10pt;
}
H4.subtitle {
  margin-left: 20pt;
}

H5 {
  font-size: 10pt;
  margin-left: 20pt;
}

P {
  line-height: 140%;
  margin-left: 20pt;
}

div.sect3 {
	margin-left: 20pt;
}

li {
	margin-left: 30pt;
}

li p {
	margin-left: 0pt;
}

pre.programlisting, pre.screen {
	border: 1px solid #882200;
	margin: 10pt;
	margin-left: 40pt;
	padding: 10pt;
	background-color: #FFFFCC;
}

.type {
	font-family: monospace;
}

.symbol {
	font-family: monospace;
}