2013-09-05 15:37:07 -04:00
|
|
|
// --------------------------------------------------
|
|
|
|
// Discourse header
|
|
|
|
// --------------------------------------------------
|
|
|
|
|
|
|
|
.d-header {
|
2013-12-09 16:27:49 -05:00
|
|
|
padding-left: 10px !important;
|
2013-09-10 23:56:55 -04:00
|
|
|
padding-right: 10px !important;
|
2013-09-05 15:37:07 -04:00
|
|
|
|
2014-05-27 11:58:53 -04:00
|
|
|
#site-logo {
|
|
|
|
max-width: 122px;
|
|
|
|
}
|
|
|
|
|
2013-09-05 15:37:07 -04:00
|
|
|
a.star {float: left;}
|
2014-05-26 11:33:47 -04:00
|
|
|
|
2013-09-05 15:37:07 -04:00
|
|
|
.panel {
|
2013-09-10 23:56:55 -04:00
|
|
|
margin-right: 20px;
|
2013-09-05 15:37:07 -04:00
|
|
|
}
|
|
|
|
.current-username {
|
|
|
|
display: none;
|
|
|
|
a {
|
|
|
|
line-height: 40px;
|
|
|
|
}
|
2014-05-07 09:12:51 -04:00
|
|
|
}
|
2014-05-26 11:33:47 -04:00
|
|
|
|
2013-09-05 15:37:07 -04:00
|
|
|
.icons {
|
|
|
|
.badge-notification {
|
2014-05-13 02:37:19 -04:00
|
|
|
color: $tertiary !important;
|
|
|
|
/* this !important is a terrible hack but the badge colors are
|
|
|
|
being overridden in a way I can't figure out on mobile, appears
|
|
|
|
to be a CSS precedence problem */
|
2013-09-05 15:37:07 -04:00
|
|
|
}
|
2014-05-26 11:33:47 -04:00
|
|
|
|
|
|
|
.active .icon {
|
|
|
|
&:after { margin-top: -1px; }
|
2013-09-05 15:37:07 -04:00
|
|
|
}
|
|
|
|
}
|
2014-05-14 00:55:38 -04:00
|
|
|
}
|
2013-09-05 15:37:07 -04:00
|
|
|
#main-outlet {
|
|
|
|
padding-top: 60px;
|
|
|
|
}
|
|
|
|
|
2014-05-26 11:33:47 -04:00
|
|
|
|
2013-09-05 15:37:07 -04:00
|
|
|
// Dropdowns
|
|
|
|
// --------------------------------------------------
|
|
|
|
|
|
|
|
.d-dropdown {
|
|
|
|
width: 290px;
|
|
|
|
margin-top: -1px;
|
|
|
|
|
|
|
|
// Common
|
|
|
|
|
|
|
|
.heading {
|
2014-05-06 01:50:51 -04:00
|
|
|
color: $primary;
|
2013-09-05 15:37:07 -04:00
|
|
|
font-weight: bold;
|
|
|
|
font-size: 12px;
|
|
|
|
line-height: 15px;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Search
|
|
|
|
|
|
|
|
input[type='text'] {
|
|
|
|
width: 267px;
|
|
|
|
font-size: 16px;
|
|
|
|
}
|
|
|
|
|
2014-02-11 20:56:49 -05:00
|
|
|
&#user-dropdown {
|
2014-02-13 14:43:07 -05:00
|
|
|
width: 155px;
|
2014-02-11 20:56:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.btn {
|
|
|
|
padding: 2px 8px;
|
|
|
|
.fa {
|
|
|
|
margin-right: 5px;
|
|
|
|
}
|
|
|
|
}
|
2013-09-05 15:37:07 -04:00
|
|
|
}
|