_sass/main.scss
/*
SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <open-source-office@arm.com>
SPDX-License-Identifier: Apache-2.0
The colors used for formatting have been added in accordance with corporate guidelines:
https://www.arm.com/company/policies/trademarks/guidelines-corporate-logo
*/

body {
  margin: 100px 60px;
  counter-reset: h1counter;
  color: #333E48;
  font: 14px sans-serif;
}

a, a:hover, a:active, a:visited {
  color: #0091BD;
  text-decoration: none;
}

table {
  border-collapse: collapse;
  width: 100%;
}

th {
  background-color: #0091BD;
  color: white;
}

td, th {
  border: 2px solid #0091BD;
  text-align: left;
  padding: 10px;
}

tr:nth-child(even) {
  background-color: #dddddd;
}

//This is necessary to add since otherwise the toc links to each section and back will
//get hidden behind the navbar.
:target {
  padding-top: 80px;
  margin-top: -60px;
}

#header {
  width: 100%;
  position: fixed;
  top: 0;
  left: 0;
  margin: 0;
  background-color: #0091BD;
  color: white;
  font-size: 16px;
}

//left and right side of the navbar - this is how the button, logo and page links
//are separated into halves
#left-side {
  float: left;
  padding: 0px;
}

#right-side {
  float: right;
  padding: 0px;
}

.navbar_tab, .navbar_tab:visited {
  color: white;
}

.navbar_tab, .navbar_active_tab {
  display: table-cell;
  padding: 20px;
}

.navbar_tab:active, .navbar_tab:hover, .navbar_active_tab {
  background-color: white;
  color: #0091BD;
}

.navbar_button {
  display: table-cell;
  border: 1px white solid;
  border-radius: 6px;
  color: white;
  background-color: #0091BD;
  font-size: 14px;
  padding: 10px;
  margin: 10px 3px;
}

.navbar_button:hover, .navbar_button:active {
  border: 1px #0091BD solid;
  border-radius: 6px;
  color: #0091BD;
  background-color: white;
  cursor: pointer;
}

/*
This logo image has been added in accordance with corporate guidelines:
https://www.arm.com/company/policies/trademarks/guidelines-corporate-logo
*/

#logo {
  height: 20px;
  float: right;
  margin: 20px;
}

#index_logo {
  height: 160px;
}
