f19e41e893
Instead of using the opendev.org/... logo file, host a copy from gerrit's static location and use that. This isolates us from changes to the way gitea serves its static assets. Change-Id: I8ffb47e636a59e5ecc3919cc7a16d93de3eae08d
71 lines
1.9 KiB
HTML
71 lines
1.9 KiB
HTML
<!--
|
|
Copyright (C) 2019 The Android Open Source Project
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
you may not use this file except in compliance with the License.
|
|
You may obtain a copy of the License at
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
See the License for the specific language governing permissions and
|
|
limitations under the License.
|
|
-->
|
|
|
|
<dom-module id="opendev-styles">
|
|
<script>
|
|
if (window.Polymer) {
|
|
Gerrit.install((plugin) => {
|
|
if (window.localStorage.getItem('dark-theme')) {
|
|
plugin.registerStyleModule('app-theme', 'opendev-dark-style');
|
|
} else {
|
|
plugin.registerStyleModule('app-theme', 'opendev-light-style');
|
|
}
|
|
plugin.registerStyleModule('app-theme', 'opendev-common-style');
|
|
});
|
|
}
|
|
</script>
|
|
</dom-module>
|
|
|
|
<dom-module id="opendev-light-style">
|
|
<template>
|
|
<style>
|
|
html {
|
|
--header-background: white;
|
|
--header-text-color: #001133;
|
|
}
|
|
</style>
|
|
</template>
|
|
</dom-module>
|
|
|
|
<dom-module id="opendev-dark-style">
|
|
<template>
|
|
<style>
|
|
html {
|
|
--header-background: #3b3d3f;
|
|
--header-text-color: #e8eaed;
|
|
}
|
|
</style>
|
|
</template>
|
|
</dom-module>
|
|
|
|
<dom-module id="opendev-common-style">
|
|
<template>
|
|
<style>
|
|
html {
|
|
--header-title-content: "opendev";
|
|
--header-icon: url("/static/opendev-sm.png");
|
|
--header-icon-size: 1.2em;
|
|
|
|
--border-width: 0 0 3px 0;
|
|
--border-style: solid;
|
|
--box-shadow: 0 3px 3px 2px rgba(0,0,0,0.075), 0 0 2px rgba(0,0,0,0.2);
|
|
--header-border-bottom: 4px solid;
|
|
--header-border-image: linear-gradient(to right, #ed1944 15%, #ed1944 15%, #ed1944 85%, #ed1944 85%) 1;
|
|
}
|
|
</style>
|
|
</template>
|
|
</dom-module>
|