0
0
mirror of https://github.com/Doodle3D/doodle3d-client.git synced 2024-11-24 18:17:56 +01:00

very minor editing (basically trying to see if I could improve minification, don't think it helped)

This commit is contained in:
Adriaan Wormgoor 2013-10-28 19:34:49 +01:00
parent f783726c47
commit ef7a147a5b

View File

@ -31,7 +31,7 @@
padding: 10px 10px 15px 15px; padding: 10px 10px 15px 15px;
} }
///* Mobile */ // Mobile
//@media only screen and (max-width: 767px) { //@media only screen and (max-width: 767px) {
// .joyride-tip-guide { // .joyride-tip-guide {
// width: 95% !important; // width: 95% !important;
@ -58,13 +58,12 @@
} }
.joyride-tip-guide span.joyride-nub.top { .joyride-tip-guide span.joyride-nub.top {
/* // IE7/IE8 Don't support rgba so we set the fallback
IE7/IE8 Don't support rgba so we set the fallback // border color here. However, IE7/IE8 are also buggy
border color here. However, IE7/IE8 are also buggy // in that the fallback color doesn't work for
in that the fallback color doesn't work for // border-bottom-color so here we set the border-color
border-bottom-color so here we set the border-color // and override the top,left,right colors below.
and override the top,left,right colors below.
*/
// border-color: #000; // border-color: #000;
// border-color: rgba(67, 216, 20, 1.0) !important; // border-color: rgba(67, 216, 20, 1.0) !important;
border-color: @helpFullBlue !important; border-color: @helpFullBlue !important;
@ -78,13 +77,12 @@
} }
.joyride-tip-guide span.joyride-nub.bottom { .joyride-tip-guide span.joyride-nub.bottom {
/* // IE7/IE8 Don't support rgba so we set the fallback
IE7/IE8 Don't support rgba so we set the fallback // border color here. However, IE7/IE8 are also buggy
border color here. However, IE7/IE8 are also buggy // in that the fallback color doesn't work for
in that the fallback color doesn't work for // border-top-color so here we set the border-color
border-top-color so here we set the border-color // and override the bottom,left,right colors below.
and override the bottom,left,right colors below.
*/
// border-color: #000; // border-color: #000;
// border-color: rgba(67, 216, 20, 1.0) !important; // border-color: rgba(67, 216, 20, 1.0) !important;
border-color: @helpFullBlue !important; border-color: @helpFullBlue !important;
@ -220,7 +218,7 @@
} }
} }
/* Button Style */ // Button Style
//.joyride-tip-guide .joyride-next-tip { //.joyride-tip-guide .joyride-next-tip {
// width: auto; // width: auto;
// padding: 6px 18px 4px; // padding: 6px 18px 4px;