llvm-project

1
html { margin: 0px; } body { margin: 8px; }
2

3
html, body {
4
  padding:0px;
5
  font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
6
}
7

8
#box {
9
  margin-left: auto;
10
  margin-right: auto;
11
  max-width: 67em;
12
}
13
[id=content] {
14
	/* *****  EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
15
        margin-left: 21em;
16
	padding-left: 3em;
17
}
18

19
a:visited {
20
  color: #931e24;
21
}
22

23
h1, h2, h3, tt { color: #000 }
24

25
h1 { padding-top:0px; margin-top:0px;}
26
h2 { color:#333333; padding-top:0.5em; }
27
h3 { padding-top: 0.5em; color:#2d58b7}
28
li { padding-bottom: 0.5em; }
29
ul { padding-left:1.5em; }
30

31
TD.done {background-color: #88ff99; text-align: center}
32
TD.inprogress{background-color: #ffce00; text-align: center}
33
TD.open{background-color: #e6705f; text-align: center}
34
TD.nice{background-color: #5555df; text-align: center}
35
TD.niceinprogress{background-color: #8888ff; text-align: center}
36

37
PRE.code {padding-left: 0.5em; background-color: #eeeeee}
38
PRE {padding-left: 0.5em}
39

40
/* Slides */
41
IMG.img_slide {
42
    display: block;
43
    margin-left: auto;
44
    margin-right: auto
45
}
46

47
.itemTitle { color:#2d58b7 }
48

49
span.error { color:red }
50
span.caret { color:green; font-weight:bold }
51

52
/* Tables */
53
tr { vertical-align:top }
54
#news P {padding: 0px; margin: 0px; border: 0px}
55

56
#head {
57
    min-height: 15em;
58
    background-image:url(images/header-background.png);
59
    background-repeat:no-repeat;
60
    background-position: right;
61
    max-width: 70em;
62
    margin-bottom: 1em
63

64

65
}
66

67
#head h1 {
68
  padding-bottom: 0em;
69
  margin-bottom: 0em;
70
  padding-top: 1em;
71
  padding-left: 2em;
72
  font-size: 3em;
73
}
74

75
#head h1 span {
76
  background: white;
77
  -webkit-border-radius: 5px;
78
  -moz-border-radius: 5px;
79
  border-radius: 5px;
80
  background: white;
81
  box-shadow: 1px 2px 5px 1px rgba(0, 0, 0, 0.7),
82
              -1px 2px 20px rgba(255, 255, 255, 0.6) inset; 
83
}
84

85
#head h1 span a {
86
  text-decoration: none;
87
  color: #3b4567;
88
}
89
#head h1 span:before {
90
  content: "\00a0 ";
91
}
92
#head h1 span:after {
93
  content: "\00a0 ";
94
}
95

96
#head h2 {
97
  color: #3b4567;
98
  text-align: center;
99
  padding-top: 0em;
100
  margin-top: 0em;
101
  padding-left: .5em;
102
  padding-bottom: .5em;
103
}
104

105
#head h2 span {
106
  background: white;
107
  -webkit-border-radius: 5px;
108
  -moz-border-radius: 5px;
109
  border-radius: 5px;
110
  background: white;
111
  box-shadow: 1px 2px 5px 1px rgba(0, 0, 0, 0.7),
112
              -1px 2px 20px rgba(255, 255, 255, 0.6) inset; 
113
  padding-top: 0.2em;
114
  padding-bottom: 0.2em;
115
}
116

117
#head h2 span:before {
118
  content: "\00a0\00a0\00a0";
119
}
120
#head h2 span:after {
121
  content: "\00a0\00a0\00a0";
122
}
123

124
#head p:before {
125
  content: "\00a0\00a0\00a0";
126
}
127
#head p:after {
128
  content: "\00a0\00a0\00a0";
129
}
130

131
#head p {
132
  padding:0.1em;
133
  background: rgba(0,0,0,0.3);
134
  color: white;
135
  position: absolute;
136
  top: -1em; right: 0.5em;
137
  -webkit-border-radius: 5px;
138
  -moz-border-radius: 5px;
139
}
140