//
// Tooltip styles
//

tooltip
{
    &.background
    {
        // background-color needs to be set this way otherwise it gets drawn twice
        //
        // See https://bugzilla.gnome.org/show_bug.cgi?id=736155 for details.
        //
        background-color: transparentize(#000000, 0.2);
        background-clip: padding-box;

        // This subtle border is meant to not make the tooltip melt with very dark
        // backgrounds
        //
        border: 1px solid $tooltip_borders_color;
    }
    
    border-radius: 5px;
    box-shadow:    none; // Otherwise it gets inherited by windowframe.csd
    padding:       4px;  // Not working
    text-shadow:   0 1px black;
    
    // FIXME: We need a border or tooltips vanish on black background.
    //
    decoration
    {
        background-color: transparent;
    }
    
    // Yeah, this is ugly
    //
    *
    {
        padding: 4px;
        background-color: transparent;
        color: white;
    }
}
