body table font-size: 14px .ox-nav background-color: #FFF border-bottom: 1px solid #000 .ox-nav .navbar-brand color: #000 font-weight: 600 padding: 5px .ox-nav .navbar-brand img height: 40px margin: 0 10px .table a, .table a:visited color: #000 .tbl-header margin: 20px -20px .tablesorter-headerAsc .tablesorter-header-inner display: inline-block border-bottom: 1px dotted #333 .tablesorter-headerDesc .tablesorter-header-inner display: inline-block border-bottom: 1px solid #333 tr.ox-status-no_connection background-color: #fcf8e3 input#search border-color: 0 !important border: none !important box-shadow: 0 !important border-bottom: 1px dotted #000 !important -webkit-box-shadow: none !important border-radius: 0 !important width: 150px input#search .focused border-bottom: 1px dotted #FFA600 !important .added background-color: #DBFFDB .deleted background-color: #FFDDDD .diff-index background-color: #FFFF99 .diff-empty background-color: #F0F0F0 .diffs background-color: FAFAFA border: 2px solid #ccc border-radius: 5px padding: 3px .diffs_old @extend .diffs float: left width: 49% white-space: nowrap overflow: auto .diffs_new @extend .diffs margin-left: 51% width: 49% white-space: nowrap overflow: auto .node_title @extend .diffs border-radius: 0px .old_version_title float: left width: 49% font-weight: bold .new_version_title margin-left: 51% font-weight: bold .refresh-div float: right padding-left: 5px .status float: right width: 15px height: 15px border: 1px solid margin-right: 70% margin-bottom: 0px border-radius: 2px .success @extend .status background-color: #64FE2E .no_connection @extend .status background-color: #FF0000 .never @extend .status background-color: #58ACFA a:hover text-decoration: none #migration_span font-size: 20px font-weight: bold table#files width: 70% border: 1px solid th#file width: 50% height: 30px text-align: center td#file @extend th#file padding: 15px div#to_search_in_config padding-top: 5px