WordPress.org

Make WordPress Core

Ticket #19271: 19271.3.larger-with-margin.patch

File 19271.3.larger-with-margin.patch, 2.5 KB (added by chexee, 7 years ago)

Adds margin and makes font-size 13px

  • wp-admin/includes/dashboard.php

     
    12851285
    12861286                <?php wp_nonce_field( 'welcome-panel-nonce', 'welcomepanelnonce', false ); ?>
    12871287
    1288                 <a class="welcome-panel-close" href="#"><?php _e('Close'); ?></a>
     1288                <a class="welcome-panel-close" href="#"><?php _e('Dismiss'); ?></a>
    12891289
    12901290                <div class="wp-badge"><?php printf( __( 'Version %s' ), $display_version ); ?></div>
    12911291
  • wp-admin/css/wp-admin.dev.css

     
    21882188        position: absolute;
    21892189        top: 0;
    21902190        right: 10px;
    2191         padding: 2px 12px;
    2192         font-size: 12px;
    2193         font-weight: bold;
     2191        padding: 8px 3px;
     2192        font-size: 13px;
    21942193        text-decoration: none;
     2194}
    21952195
    2196         -webkit-border-bottom-left-radius: 3px;
    2197         -webkit-border-bottom-right-radius: 3px;
    2198         border-bottom-left-radius: 3px;
    2199         border-bottom-right-radius: 3px;
     2196.welcome-panel .welcome-panel-close:before {
     2197    background: url('../images/xit.gif') 0 17% no-repeat;
     2198    content: ' ';
     2199    height: 100%;
     2200    width: 10px;
     2201    left: -12px;
     2202    position: absolute;
    22002203}
    22012204
     2205.welcome-panel .welcome-panel-close:hover:before {
     2206    background-position: 100% 17%;
     2207}
     2208
    22022209.welcome-panel .wp-badge {
    22032210        float: left;
    22042211}
     
    22232230}
    22242231
    22252232.welcome-panel .welcome-panel-column ul {
    2226         margin-top: 1.6em;
     2233        margin: 1.6em 1em 1em 1.3em;
    22272234}
    22282235
    22292236.welcome-panel .welcome-panel-column li {
  • wp-admin/css/colors-classic.dev.css

     
    706706.welcome-panel-column p {
    707707        color: #464646;
    708708}
    709 .welcome-panel .welcome-panel-close {
    710         background: #eff8ff;
    711         text-shadow: 1px 1px 1px #eff8ff;
    712 }
    713709.welcome-panel h3 {
    714710        text-shadow: 1px 1px 1px white;
    715711}
  • wp-admin/css/colors-fresh.dev.css

     
    704704.welcome-panel-column p {
    705705        color: #464646;
    706706}
    707 .welcome-panel .welcome-panel-close {
    708         background: #eee;
    709         text-shadow: 1px 1px 1px #eee;
    710 }
    711707.welcome-panel h3 {
    712708        text-shadow: 1px 1px 1px white;
    713709}