1
0
mirror of https://github.com/lana-k/sqliteviz.git synced 2025-12-07 02:28:54 +08:00

fix fonts

This commit is contained in:
lana-k
2020-12-23 15:16:53 +01:00
parent 71f585eef5
commit bc3524e1a7
10 changed files with 54 additions and 4 deletions

View File

@@ -5,11 +5,58 @@
</template> </template>
<style> <style>
#app { @font-face {
font-family: Open-Sans, Helvetica, Arial, sans-serif; font-family: "Open Sans";
src: url("~@/assets/fonts/OpenSans-Regular.woff2");
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: "Open Sans";
src: url("~@/assets/fonts/OpenSans-SemiBold.woff2");
font-weight: 600;
font-style: normal;
}
@font-face {
font-family: "Open Sans";
src: url("~@/assets/fonts/OpenSans-Bold.woff2");
font-weight: 700;
font-style: normal;
}
@font-face {
font-family: "Open Sans";
src: url("~@/assets/fonts/OpenSans-Italic.woff2");
font-weight: 400;
font-style: italic;
}
@font-face {
font-family: "Open Sans";
src: url("~@/assets/fonts/OpenSans-SemiBoldItalic.woff2");
font-weight: 600;
font-style: italic;
}
@font-face {
font-family: "Open Sans";
src: url("~@/assets/fonts/OpenSans-BoldItalic.woff2");
font-weight: 700;
font-style: italic;
}
#app,
input,
label,
button,
.plotly_editor * {
font-family: "Open Sans", Helvetica, Arial, sans-serif;
-webkit-font-smoothing: antialiased; -webkit-font-smoothing: antialiased;
-moz-osx-font-smoothing: grayscale; -moz-osx-font-smoothing: grayscale;
} }
body { body {
margin: 0; margin: 0;
} }

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

View File

@@ -5,7 +5,6 @@ button {
font-size: 14px; font-size: 14px;
font-weight: 600; font-weight: 600;
cursor: pointer; cursor: pointer;
font-family: Open-Sans, Helvetica, Arial, sans-serif;
} }
button:focus { button:focus {

View File

@@ -39,5 +39,9 @@
--border-radius-small: 2px; --border-radius-small: 2px;
} }
.plotly-editor--theme-provider {
--sidebar-width: 112px;
}

View File

@@ -36,7 +36,7 @@ export default {
} }
#skip { #skip {
margin-top: 83px; margin-top: 42px;
} }
>>>.drop-area { >>>.drop-area {