Searched refs:margin (Results 1 – 25 of 329) sorted by relevance
12345678910>>...14
7 body { overflow: auto; margin-top: 0px; margin-bottom: 0px; margin-left: 0.3em; margin-right: …8 div { margin: 0px; }9 h1 { margin-top: 0.3em; margin-bottom: 0.04em; } 10 h2 { margin-top: 2em; margin-bottom: 0.25em; }11 h3 { margin-top: 1.7em; margin-bottom: 0.25em; }12 h4 { margin-top: 2em; margin-bottom: 0.3em; }13 h5 { margin-top: 0px; margin-bottom: 0px; }14 p { margin-top: 0em; margin-bottom: 0em; }15 pre { margin-left: 0.6em; }16 ul { margin-top: 0px; margin-bottom: 1em; }[all …]
27 td p.noindent { text-indent: 0em; margin-top:0em; }32 center { margin-top:1em; margin-bottom:1em; }33 td center { margin-top:0em; margin-bottom:0em; }37 li p:first-child{ margin-top:0em; }38 li p:last-child, li div:last-child { margin-bottom:0.5em; }39 li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }44 div.newtheorem { margin-bottom: 2em; margin-top: 2em;}46 div.obeylines-v p { margin-top:0; margin-bottom:0; }57 div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}63 .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }[all …]
4 margin: 10px 0;20 margin: 10px 0;24 margin: 0 25px;32 margin: 10px 0;36 margin-bottom: 10px;40 margin-bottom: 30px;50 margin: 10px 0;59 margin-bottom: 6px;60 margin-top: 6px;95 margin: 4px 10px;[all …]
9 -webkit-margin-end: 10px;10 -webkit-margin-start: 14px;14 -webkit-margin-end: 20px;26 margin-top: 1px;30 -webkit-margin-start: 17px;32 margin-top: 17px;52 margin-bottom: 10px;53 margin-top: 4px;58 margin: 7px 0px;
9 margin: 10px 0;13 margin-left: 0;14 margin-right: 5px;18 margin-top: 15px;22 margin: 10px 0;26 margin: 10px 0;37 margin: 0 1ex;
3 margin-bottom: 30px;17 margin-top: 3px;22 margin-top: 0;23 margin-bottom: 10px;44 margin: 0;72 margin: 0;99 margin-top: 9px;108 margin-bottom: -14pt;112 margin-left: 0;113 margin-right: 10px;[all …]
14 margin:0;22 margin:0;61 margin: 0;66 margin: .35em 0 0 0;80 margin:.5em 0 0 0;126 margin:0;153 margin:0;181 margin: 0;185 margin: 0 3px 0 0;190 margin: 0;[all …]
11 margin: 0;51 margin:0;61 margin:0 0 1em;79 margin:0 0 1em 1em;85 margin:1em 0;94 margin:0 0 .8em;103 margin:0 0 1em 0;108 margin:0;113 margin:0 0 1em;118 margin:.5em 0 0;[all …]
24 margin:1em 0;51 margin:3px 8px68 margin:1em 0 0 0;75 margin:1em 0 0 0;104 margin:1em 0 0 0;112 margin:1em 90px 0 70px;119 margin:1em 0123 margin-bottom:0157 margin: 0 0 0 -10px;166 margin: 2em 0 0 -10px;[all …]
5 margin: 0 !important;26 margin: 10px 0 0 0;29 margin: 0 0 0 20px;33 margin: 5px 0 0 10px;43 margin: 5px 0;47 margin: 10px 0;51 margin: 0 0 10px 0;56 margin: 0;75 margin: 10px 0;94 margin-bottom: 4px;
4 margin: 0px;46 margin: 1em 0;48 margin-left: 2em;49 margin-right: 10%;57 margin: 1em 0;59 margin-left: 2em;60 margin-right: 10%;66 margin-bottom: 1em;70 margin-left: 2em;88 margin-left: 2em;[all …]
2 margin: 10px 8px;6 margin: 0 6px 0 3px;11 margin: 0 3px 0 6px;19 margin-left: auto;20 margin-right: auto;21 margin-top: 66px;27 margin-left: auto;28 margin-right: auto;29 margin-top: 5px;33 margin: 10px 5px 0 0px;
59 margin: 8px64 -webkit-margin-before: 1__qem;65 -webkit-margin-after: 1__qem;66 -webkit-margin-start: 0;67 -webkit-margin-end: 0;93 -webkit-margin-before: 1__qem;94 -webkit-margin-after: 1em;95 -webkit-margin-start: 40px;96 -webkit-margin-end: 40px;105 -webkit-margin-before: 1em;[all …]
15 margin: 1em;31 margin-bottom: .5em;32 margin-top: .5em;49 margin-bottom: 0.5em;51 margin-top: 12pt;72 margin-bottom: 0pt;73 margin-top: 12pt;75 margin-left: 1em;76 margin-top: 0.2em;93 margin-left: 1.5em;[all …]
24 margin-left: 15px;25 margin-top: -25px;42 margin-top: 0;43 margin-bottom: -25px;52 margin-top: 0;53 margin-bottom: -25px;59 margin-top: 15px;60 margin-left: -25px;67 margin-bottom: 15px;68 margin-left: -25px;[all …]
23 margin: 2px;32 margin: 2px;40 margin: 2px;41 margin-right: 15px;81 DL.el { margin-left: -1cm }89 margin-top: 4px;90 margin-bottom: 4px;91 margin-left: 2px;92 margin-right: 8px;98 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top…[all …]
4 margin: 1em 0;8 margin: 0;9 margin-bottom: 0;19 margin: .3em 0 1em 0;34 margin-bottom: 20px;39 margin-top: 2em;47 margin: 20px;62 margin: 1em 0 2em;69 margin-top: 50px;76 margin: 30px 0 0 90px;
47 public int getMargin(int size, int margin) { in getMargin() argument49 return margin; in getMargin()52 margin = f.getMargin(size, margin); in getMargin()54 margin = this.filter.getMargin(size, margin); in getMargin()56 margin = f.getMargin(size, margin); in getMargin()58 return this.iterations * margin + super.getMargin(size, margin); in getMargin()
78 margin: 0px;86 margin: 0px;96 margin: 0px;105 margin: 0px;116 margin: 0px;122 margin: 0px;131 margin: 0px;142 margin: 0px;149 margin: 0px;176 margin: 0px;[all …]
25 margin: 2px;34 margin: 2px;42 margin: 2px;43 margin-right: 15px;84 DL.el { margin-left: -1cm }92 margin-top: 4px;93 margin-bottom: 4px;94 margin-left: 2px;95 margin-right: 8px;101 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top…[all …]
34 margin-top: 2px;38 margin-bottom: 0px;42 margin-bottom: 4px;46 margin-bottom: 2px;69 margin: 2px;79 margin-right: 15px;131 margin-left: -1cm;143 margin: 4px 8px 4px 2px;154 margin-bottom: 3px;155 margin-top: 3px;[all …]
28 margin: 0px 80px 0px 80px;46 margin: 0 240px 0 0;51 margin: 0;67 margin: 0;75 margin-right: 5px;79 margin: 0;94 margin: 0;103 margin: 1em 0 0.5em 0;117 margin-top: 7px;123 margin-left: 20px;[all …]
41 margin: 4px;49 margin: 4px 0;57 margin-top: 20px;62 margin-left: 320px;67 margin-bottom: 8px;78 margin-left: 5px;86 margin-left: 320px;94 margin: 6px 0;134 margin: 2px;139 margin: 2px 0 2px 0;[all …]
12 .info-box-title { margin: 1em 0em 0em 0em; font-weight: normal; font-size: 14pt; color: #999999; bo…14 .nav-bar { font-size: 8pt; white-space: nowrap; text-align: right; padding: .2em; margin: 0em 0em 1…16 .oddrow { background-color: #F8F8F8; border: 1px solid #AAAAAA; padding: .5em; margin-bottom: 1em}17 .evenrow { border: 1px solid #AAAAAA; padding: .5em; margin-bottom: 1em}19 .page-body { max-width: 800px; margin: auto; }21 .tree dd { margin-left: 19px }22 .tree dl { margin: 0px }23 .tree-icon { vertical-align: middle; border: 0px; margin-right: 3px }27 .index-item-body { margin-top: .5em; margin-bottom: .5em}28 .index-item-description { margin-top: .25em }[all …]