projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
color management for explain page generation
[brisk.git]
/
web
/
brisk.css
diff --git
a/web/brisk.css
b/web/brisk.css
index
ee773fe
..
c2cd2c2
100644
(file)
--- a/
web/brisk.css
+++ b/
web/brisk.css
@@
-1,7
+1,7
@@
/*
* brisk - brisk.css
*
/*
* brisk - brisk.css
*
- * Copyright (C) 2006-201
1
Matteo Nastasi
+ * Copyright (C) 2006-201
2
Matteo Nastasi
* mailto: nastasi@alternativeoutput.it
* matteo.nastasi@milug.org
* web: http://www.alternativeoutput.it
* mailto: nastasi@alternativeoutput.it
* matteo.nastasi@milug.org
* web: http://www.alternativeoutput.it
@@
-22,7
+22,7
@@
*/
body {
*/
body {
- background-image: url('img/
funghi_bg2.jpg');
+ background-image: url('img/
happysunbg.jpg');
background-color: #fafafa;
background-repeat: no-repeat;
background-position: center center;
background-color: #fafafa;
background-repeat: no-repeat;
background-position: center center;
@@
-46,7
+46,7
@@
img {
position: absolute;
border-style: solid;
border-width: 1px;
position: absolute;
border-style: solid;
border-width: 1px;
- border-color: gr
e
y;
+ border-color: gr
a
y;
}
img.unbo {
}
img.unbo {
@@
-73,6
+73,26
@@
img.nobohide {
z-index: 12;
}
z-index: 12;
}
+.bg_white {
+ background-color: #ffffff;
+}
+
+.bg_green {
+ background-color: #aaffaa;
+}
+
+.bg_ligre {
+ background-color: #ddffdd;
+}
+
+.bg_red {
+ background-color: #ffaaaa;
+}
+
+.bg_lired {
+ background-color: #ffdddd;
+}
+
.notify {
/* top: 10%; */
top: 0;
.notify {
/* top: 10%; */
top: 0;
@@
-148,7
+168,7
@@
input.input_sub {
color: black;
background-color: #f8f8f8;
vertical-align: middle;
color: black;
background-color: #f8f8f8;
vertical-align: middle;
- text-decoration:none;
+ text-decoration:
none;
font-size: 100%;
cursor: pointer;
height: 22px ! important;
font-size: 100%;
cursor: pointer;
height: 22px ! important;
@@
-170,7
+190,7
@@
input.input_sub_hi {
background-color: white;
/* background-color: RGB(246,246,246); */
vertical-align: middle;
background-color: white;
/* background-color: RGB(246,246,246); */
vertical-align: middle;
- text-decoration:none;
+ text-decoration:
none;
font-size: 100%;
cursor: pointer;
height: 22px ! important;
font-size: 100%;
cursor: pointer;
height: 22px ! important;
@@
-186,7
+206,7
@@
input.button {
color: black;
background-color: RGB(246,246,246);
vertical-align: middle;
color: black;
background-color: RGB(246,246,246);
vertical-align: middle;
- text-decoration:none;
+ text-decoration:
none;
font-size: 100%;
cursor: pointer;
height: 20px ! important;
font-size: 100%;
cursor: pointer;
height: 20px ! important;
@@
-206,3
+226,20
@@
input.button:active {
img.button:hover {
cursor: pointer;
}
img.button:hover {
cursor: pointer;
}
+
+span.au1 {
+ font-weight: bold;
+}
+
+span.au2 {
+ font-style: italic;
+/* text-decoration: underline; */
+ background-color: #bafcba;
+}
+
+span.au3 {
+ font-weight: bold;
+ font-style: italic;
+/* text-decoration: underline; */
+ background-color: #bafcba;
+}