Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Weblate 2017-06-18 20:37:21 +00:00
commit 23b99f83ce

View File

@ -345,6 +345,11 @@ limitations under the License.
} }
.mx_EventTile_body pre { .mx_EventTile_body pre {
position: relative; position: relative;
border: 1px solid transparent;
}
.mx_EventTile:hover .mx_EventTile_body pre
{
border: 1px solid $primary-hairline-color;
} }
.mx_EventTile_body pre:hover .mx_EventTile_copyButton .mx_EventTile_body pre:hover .mx_EventTile_copyButton
{ {