[ScopDetect / ScopInfo] Get statistics for scops without any loop correctly
[polly-mirror.git] / www / content.css
blob1294af71748bcb4b0f43b72d4387ff153e83bcd2
1 html { margin: 0px; } body { margin: 8px; }
3 html, body {
4 padding:0px;
5 font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
8 #box {
9 margin-left: auto;
10 margin-right: auto;
11 max-width: 67em;
13 [id=content] {
14 /* ***** EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
15 margin-left: 21em;
16 padding-left: 3em;
19 a:visited {
20 color: #931e24;
23 h1, h2, h3, tt { color: #000 }
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; }
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}
37 PRE.code {padding-left: 0.5em; background-color: #eeeeee}
38 PRE {padding-left: 0.5em}
40 /* Slides */
41 IMG.img_slide {
42 display: block;
43 margin-left: auto;
44 margin-right: auto
47 .itemTitle { color:#2d58b7 }
49 span.error { color:red }
50 span.caret { color:green; font-weight:bold }
52 /* Tables */
53 tr { vertical-align:top }
54 #news P {padding: 0px; margin: 0px; border: 0px}
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
67 #head h1 {
68 padding-bottom: 0em;
69 margin-bottom: 0em;
70 padding-top: 1em;
71 padding-left: 2em;
72 font-size: 3em;
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;
85 #head h1 span a {
86 text-decoration: none;
87 color: #3b4567;
89 #head h1 span:before {
90 content: "\00a0 ";
92 #head h1 span:after {
93 content: "\00a0 ";
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;
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;
117 #head h2 span:before {
118 content: "\00a0\00a0\00a0";
120 #head h2 span:after {
121 content: "\00a0\00a0\00a0";
124 #head p:before {
125 content: "\00a0\00a0\00a0";
127 #head p:after {
128 content: "\00a0\00a0\00a0";
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;