cambio de fuentes css

This commit is contained in:
marcos 2021-06-10 16:13:45 +02:00
parent 4502550353
commit e75abd1d2f
2 changed files with 1 additions and 36 deletions

View File

@ -84,7 +84,6 @@ div.options_divider {
div.options_divider h2 {
margin: 20px 20px 0;
padding: 5px;
font-weight: 500;
border: 2px solid #82b92e;
border-top-left-radius: 2px;
border-top-right-radius: 2px;

View File

@ -103,7 +103,6 @@
@font-face {
font-family: "source-code";
src: url("../fonts/SourceCodePro.woff") format("woff");
font-family: "source-code";
}
@font-face {
@ -358,9 +357,6 @@ select:-internal-list-box {
.w10px {
width: 10px;
}
.w16px {
width: 16px;
}
.w18px {
width: 18px;
}
@ -6456,9 +6452,6 @@ div.graph div.legend table {
display: block;
}
.hidden {
}
#both,
.both {
clear: both;
@ -6871,9 +6864,7 @@ div.graph div.legend table {
.font_14pt {
font-size: 14pt;
}
.font_14px {
font-size: 14px;
}
.font_15pt {
font-size: 15pt;
}
@ -7551,17 +7542,6 @@ div.graph div.legend table {
font-size: 12pt;
margin: 20px;
}
.font_10 {
font-size: 10pt;
}
.font_11 {
font-size: 11pt;
}
.font_11px {
font-size: 11px;
}
.font_6pt {
font-size: 6pt;
}
@ -7600,10 +7580,6 @@ div.graph div.legend table {
width: 105px;
}
.w350px {
width: 350px;
}
.login_help_dialog {
width: 70%;
font-size: 10pt;
@ -7949,15 +7925,6 @@ div.graph div.legend table {
border-bottom: 1px solid black;
}
.spinner_rmf {
position: absolute;
top: 0px;
left: 0px;
display: none;
padding: 5px;
}
.spinner_right {
}
.span_licence_key {
vertical-align: middle;
font-weight: bold;
@ -8217,7 +8184,6 @@ div.steps_vsmap {
min-width: 30em;
width: 25%;
padding-right: 20px;
vertical-align: top;
padding-top: 0px;
}
.gis_layers {