/*
pyodide-mkdocs-theme
Copyleft GNU GPLv3 🄯 2024 Frédéric Zinelli

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.
If not, see <https://www.gnu.org/licenses/>.
*/

/* Must be defined AFTER .tooltip (display constraint!) */

.header-btn {
  width:  40px;
  height: 40px;
  margin: 4px;
  display: flex;
  align-items: center;
  justify-content: center;
}

.header-btn > svg {
  height: 24px;
}

#stdout-controller-btn {
  margin-right: -5px;
}

#feedback-page-svg, #cut-feedback-svg {
  height: 30px;
  position: absolute;
}

#hourglass {
  margin: 4px;
}