/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: John Arbash Meinel
  • Date: 2007-03-01 21:56:19 UTC
  • mto: (2255.7.84 dirstate)
  • mto: This revision was merged to the branch mainline in revision 2322.
  • Revision ID: john@arbash-meinel.com-20070301215619-wpt6kz8yem3ypu1b
Update to dirstate locking.
Move all of WT4.lock_* functions locally, so that they can
properly interact and cleanup around when we lock/unlock the
dirstate file.
Change all Lock objects to be non-blocking. So that if someone
grabs a lock on the DirState we find out immediately, rather
than blocking.
Change WT4.unlock() so that if the dirstate is dirty, it will
save the contents even if it only has a read lock.
It does this by trying to take a write lock, if it fails
we just ignore it. If it succeeds, then we can flush to disk.
This is more important now that DirState tracks file changes.
It allows 'bzr status' to update the cached stat and sha values.

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/default.css
 
1
/* from John Arbash Meinel's `Short tutorial' */
 
2
 
 
3
body {
 
4
  background-color: #ffffff;
 
5
  color: #303030;
 
6
  margin-top: 50px;
 
7
  margin-left: 50px;
 
8
  margin-right: 50px;
 
9
  margin-bottom: 70px;
 
10
  font-family: Verdana, Geneva, Arial, sans-serif;
 
11
  font-size: small;
 
12
  line-height: 180%
 
13
  }
 
14
 
 
15
/* p {
 
16
  text-indent: 3em
 
17
} */
 
18
 
 
19
h1, h2, h3 {
 
20
  font-family: Georgia, "Times New Roman", Times, serif;
 
21
}
 
22
 
 
23
h1.title {
 
24
  text-align: center;
 
25
  color: #000000;
 
26
  font-size: 1.8em;
 
27
  }
 
28
 
 
29
 
 
30
div.contents p {
 
31
  font-weight: bold;
 
32
  }
 
33
 
 
34
div.contents p a:hover {
 
35
  color: inherit;
 
36
  }
 
37
 
 
38
h1 {
 
39
  color: #b52b2b; 
 
40
  /* DKREDcolor: #966b72; */
 
41
  /* GREY color: #444444; */
 
42
  font-size: 1.5em;
 
43
  }
 
44
 
 
45
h1 a:link {
 
46
  color: inherit;
 
47
  }
 
48
  
 
49
h1 a:hover {
 
50
  color: inherit;
 
51
  }
 
52
 
 
53
h1 a:visited {
 
54
  color: inherit;
 
55
  }
 
56
 
 
57
h2 {
 
58
  color: #222;
 
59
  /* RED color: #966b72; */
 
60
  text-decoration: underline;
 
61
  font-size: 1.4em;
 
62
  }
 
63
 
 
64
h2 a:link {
 
65
  color: inherit;
 
66
  }
 
67
 
 
68
h2 a:hover {
 
69
  color: inherit;
 
70
  }
 
71
 
 
72
h2 a:visited {
 
73
  color: inherit;
 
74
  }
 
75
 
 
76
h3 {
 
77
  color: #966b72; 
 
78
  /* color: #966b72; */
 
79
  }
 
80
 
 
81
h3 a:link {
 
82
  color: inherit;
 
83
  }
 
84
 
 
85
h3 a:hover {
 
86
  color: inherit;
 
87
  }
 
88
 
 
89
h3 a:visited {
 
90
  color: inherit;
 
91
  }
 
92
 
 
93
dt {
 
94
  color: #000000;
 
95
  font-weight: bold;
 
96
  }
 
97
/*
 
98
  border: 4px solid blue;
 
99
  padding: 1ex;
 
100
  background: #7777FF;
 
101
        }
 
102
dt:hover 
 
103
  {
 
104
  background-color: black;
 
105
  }
 
106
dt:active
 
107
  {
 
108
  background-color: red;
 
109
  }
 
110
*/
 
111
 
 
112
tt, .literal-block {
 
113
  font-family: monospace;
 
114
  }
 
115
 
 
116
tt {
 
117
  color: #000000;
 
118
  font-weight: normal;
 
119
  }
 
120
 
 
121
.literal-block {
 
122
  margin-left: 5em;
 
123
  color: #000000;
 
124
  font-weight: normal;
 
125
  background-color: #c1d1ff;
 
126
  background-color: #e5ecf9;
 
127
  border: 1px solid #888888;
 
128
  padding: 1em;
 
129
  }
 
130
 
 
131
a:link {
 
132
  color: #4c52ff;
 
133
  text-decoration: none;
 
134
  }
 
135
 
 
136
a:visited {
 
137
  color: #4c53ff;
 
138
  text-decoration: none;
 
139
  }
 
140
 
 
141
a:hover {
 
142
  color: #b52727;
 
143
  text-decoration: none;
 
144
  }