2012-02-26 23:41:53 +01:00
|
|
|
/**
|
2012-08-16 08:13:50 +02:00
|
|
|
* This file represent some UI that can be changed
|
|
|
|
|
* during web app restyle or theme select.
|
2012-02-26 23:41:53 +01:00
|
|
|
*
|
|
|
|
|
*/
|
2012-08-16 08:13:50 +02:00
|
|
|
.ui_basic {
|
2012-02-26 23:41:53 +01:00
|
|
|
/*
|
|
|
|
|
* Common styles
|
|
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
a {
|
|
|
|
|
color: $link_color;
|
2012-08-16 08:13:50 +02:00
|
|
|
&:hover {
|
2012-11-23 17:33:43 +01:00
|
|
|
text-decoration: none;
|
2012-03-19 21:52:16 +01:00
|
|
|
color: $blue_link;
|
2012-02-26 23:41:53 +01:00
|
|
|
}
|
|
|
|
|
}
|
2012-11-21 06:14:05 +01:00
|
|
|
|
|
|
|
|
.app_logo {
|
|
|
|
|
.separator {
|
|
|
|
|
margin-left: 0;
|
|
|
|
|
margin-right: 0;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.separator {
|
|
|
|
|
float: left;
|
|
|
|
|
height: 60px;
|
|
|
|
|
width: 1px;
|
|
|
|
|
background: white;
|
|
|
|
|
border-left: 1px solid #DDD;
|
|
|
|
|
margin-top: -10px;
|
|
|
|
|
margin-left: 10px;
|
|
|
|
|
margin-right: 10px;
|
|
|
|
|
}
|
2012-02-26 23:21:53 +01:00
|
|
|
}
|
