wp-admin/css/theme-editor.css

   1 #template textarea {
   2         font-family: Consolas, Monaco, Courier, monospace;
   3         font-size: 12px;
   4         width: 97%;
   5 }
   6
   7 #template p {
   8         width: 97%;
   9 }
  10
  11 #templateside {
  12         float: right;
  13         width: 190px;
  14 }
  15
  16 #templateside h3, #postcustomstuff p.submit {
  17         margin: 0;
  18 }
  19
  20 h3#bordertitle {
  21         margin-bottom: 10px;
  22 }
  23
  24 #templateside h4 {
  25         margin-bottom: 0;
  26 }
  27
  28 #templateside ol, #templateside ul {
  29         list-style: none;
  30         margin: .5em;
  31         padding: 0;
  32 }
  33
  34 #templateside ol li, #templateside ul li {
  35         margin: 1px 0;
  36 }
  37
  38 #themeselector {
  39         padding-right: 5px;
  40         float: right;
  41         position: relative;
  42         bottom: 25px;
  43         top:20px;
  44 }
  45
  46 #themeselector select {
  47         margin: 0;
  48         padding: 0;
  49 }
  50
  51 .nonessential {
  52         font-size: small;
  53 }
  54
  55 .highlight {
  56         padding: 1px;
  57 }
  58
  59 div.bordertitle h2 {
  60         border: none;
  61         padding-bottom: 0;
  62 }
  63
  64 div.tablenav {
  65         margin-right: 210px;
  66 }