Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

webui: Jetbrains Mono, fix porep layout #179

Merged
merged 1 commit into from
Aug 30, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
webui: Jetbrains Mono, fix porep layout
magik6k committed Aug 27, 2024
commit 8e7709e9f714372a7aef598baafb69904be5a576
15 changes: 8 additions & 7 deletions web/static/pages/pipeline_porep/index.html
Original file line number Diff line number Diff line change
@@ -10,13 +10,13 @@
</head>
<body style="visibility: hidden">
<curio-ux>
<div class="app-head">
<div class="head-left">
<h1>Curio PoRep Pipeline</h1>
</div>
</div>
<hr/>
<div class="page">
<div class="app-head">
<div class="head-left">
<h1>Curio PoRep Pipeline</h1>
</div>
<hr/>
</div>
<div class="row">
<div class="row-md-auto" style="width: 50%">
<div class="info-block">
@@ -33,6 +33,7 @@ <h2>Sectors</h2>
</div>
<div class="row-md-auto"></div>
</div>
</div></curio-ux>
</div>
</curio-ux>
</body>
</html>
2 changes: 1 addition & 1 deletion web/static/ux/curio-ux.mjs
Original file line number Diff line number Diff line change
@@ -126,7 +126,7 @@ class CurioUX extends LitElement {
<path d="M0 2a2 2 0 0 1 2-2h12a2 2 0 0 1 2 2v12a2 2 0 0 1-2 2H2a2 2 0 0 1-2-2V2zm15 2h-4v3h4V4zm0 4h-4v3h4V8zm0 4h-4v3h3a1 1 0 0 0 1-1v-2zm-5 3v-3H6v3h4zm-5 0v-3H1v2a1 1 0 0 0 1 1h3zm-4-4h4V8H1v3zm0-4h4V4H1v3zm5-3v3h4V4H6zm4 4H6v3h4V8z"></path>
</symbol>
</svg>
<div class="d-flex flex-column flex-shrink-0 p-3 text-white bg-dark" style="width: 200px; min-height:100vh; margin-right: 1rem">
<div class="d-flex flex-column flex-shrink-0 p-3 text-white bg-dark" style="width: 240px; min-height:100vh; margin-right: 1rem">
<a href="/" class="d-flex align-items-center mb-3 mb-md-0 me-md-auto text-white text-decoration-none">
<img src="/favicon.svg" width="40" height="32" class="d-inline-block align-top me-2" alt="">
<span class="fs-4">Curio</span>
Binary file added web/static/ux/fonts/JetBrainsMono-Bold.woff2
Binary file not shown.
Binary file not shown.
Binary file added web/static/ux/fonts/JetBrainsMono-ExtraBold.woff2
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file added web/static/ux/fonts/JetBrainsMono-Italic.woff2
Binary file not shown.
Binary file added web/static/ux/fonts/JetBrainsMono-Light.woff2
Binary file not shown.
Binary file not shown.
Binary file added web/static/ux/fonts/JetBrainsMono-Medium.woff2
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file added web/static/ux/fonts/JetBrainsMono-SemiBold.woff2
Binary file not shown.
Binary file not shown.
Binary file added web/static/ux/fonts/JetBrainsMono-Thin.woff2
Binary file not shown.
Binary file not shown.
54 changes: 30 additions & 24 deletions web/static/ux/main.css
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@

html {
min-height: 100vh;
background: rgb(11, 22, 34);
@@ -8,26 +7,26 @@ html {
body {
margin: 0;
background: rgb(11, 22, 34);
font-family: Metropolis, monospace;
font-weight: 400;
font-family: 'JetBrains Mono', monospace;
font-weight: 300;
}

* {
font-weight: 400;
font-weight: 200;
}

h1,h2,h3,h4,h5,h6 {
font-weight: 400;
}

curio-ux {
/* To resemble Clarity Design */
color: rgb(227, 234, 237);
font-family: Metropolis, monospace;
font-weight: 400;
font-family: 'JetBrains Mono', monospace;
font-weight: 200;
background: RGB(54, 57, 63);
}


.app-head {
width: 100%;
}
@@ -67,50 +66,57 @@ a:hover {
}

@font-face {
font-family: metropolis;
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 400;
src: local('Metropolis'), url(/ux/fonts/Metropolis-Regular.woff) format('woff')
src: url('/ux/fonts/JetBrainsMono-Regular.woff2') format('woff2');
}

@font-face {
font-family: metropolis;
font-style: normal;
font-family: 'JetBrains Mono';
font-style: italic;
font-weight: 400;
src: local('Metropolis'), url(/ux/fonts/Metropolis-ExtraLight.woff) format('woff')
src: url('/ux/fonts/JetBrainsMono-Italic.woff2') format('woff2');
}

@font-face {
font-family: metropolis;
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 400;
src: local('Metropolis'), url(/ux/fonts/Metropolis-Light.woff) format('woff')
font-weight: 200;
src: url('/ux/fonts/JetBrainsMono-ExtraLight.woff2') format('woff2');
}

@font-face {
font-family: metropolis;
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 400;
src: local('Metropolis'), url(/ux/fonts/Metropolis-Thin.woff) format('woff')
font-weight: 300;
src: url('/ux/fonts/JetBrainsMono-Light.woff2') format('woff2');
}

@font-face {
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 100;
src: url('/ux/fonts/JetBrainsMono-Thin.woff2') format('woff2');
}

@font-face {
font-family: metropolis;
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 500;
src: local('Metropolis'), url(/ux/fonts/Metropolis-Medium.woff) format('woff')
src: url('/ux/fonts/JetBrainsMono-Medium.woff2') format('woff2');
}

@font-face {
font-family: metropolis;
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 700;
src: local('Metropolis'), url(/ux/fonts/Metropolis-Bold.woff) format('woff')
src: url('/ux/fonts/JetBrainsMono-Bold.woff2') format('woff2');
}

@font-face {
font-family: metropolis;
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 800;
src: local('Metropolis'), url(/ux/fonts/Metropolis-ExtraBold.woff) format('woff')
src: url('/ux/fonts/JetBrainsMono-ExtraBold.woff2') format('woff2');
}