.s01__em {
  padding-left: 1rem;
}

.s01__expr {
  margin-right: 2.75rem;
}

.s01__inverter__text {
  padding-top: 3rem;
}

.s02__table__AND--margin-top {
  margin-top: 1.5rem;
}

.s02__p--gap-at-top {
  margin-top: 0rem;
  padding-top: 0.5rem;
}

.s03__table__OR--margin-top {
  margin-top: 2rem;
}

.s04__table__XOR {
  margin-top: 3rem;
}

.s05__img__alarm__02 {
  padding-top: 2rem;
}

.s05__img__alarm__03 {
  padding-top: 2rem;
}

.s06__table__small {
  margin-right: 2rem;
}

.s08__decoder--flex {
  display: flex;
  gap: 1rem;
  align-items: flex-start;
}
@media only screen and (max-width: 550px) {
  .s08__decoder--flex {
    flex-wrap: wrap;
  }
}

.s09__expr--flex {
  display: flex;
  gap: 1rem;
  align-items: flex-start;
  flex-wrap: wrap;
  padding-top: 0;
}

.s08__p__expr__space {
  margin-top: 0;
  margin-right: 0;
}

@media only screen and (max-width: 400px) {
  .s05__img__alarm {
    float: none;
    margin-left: 0;
    margin-right: 0;
  }
  .s06__table__small {
    margin-right: 0;
  }
}
@media only screen and (max-width: 738px) {
  .s06__table__small {
    float: left;
    margin-left: 0;
    margin-right: 1rem;
  }
}

@media only screen and (max-width: 672px) {
  .s06__table__small {
    float: left;
    margin-left: 1rem;
    margin-bottom: 1rem;
  }
}

@media only screen and (max-width: 30rem) {
  .s05__img__alarm__02 {
    float: none;
    margin-left: 0;
    margin-right: 0;
  }
}
@media only screen and (max-width: 36rem) {
  .s05__img__alarm__03 {
    float: none;
    margin-left: 0;
    margin-right: 0;
  }
}

@media only screen and (max-width: 600px) {
  .s04__p--clear-right {
    clear: right;
  }
  .s04__img__XOR-margin {
    margin-left: 0;
  }
}

.s10__table_identity,
.s10__table_identity th,
.s10__table_identity th td {
  padding-left: 0.5rem;
  padding-right: 0.5rem;
}
.s10__table__proof {
  width: 6.5rem;
  padding-top: 1rem;
}

.s11__laws--flex {
  display: flex;
  gap: 1rem;
  justify-content: space-around;
  flex-wrap: wrap;
}

.s11__proof--flex {
  display: flex;
  gap: 1rem;
  justify-content: space-around;
  flex-wrap: wrap;
}

.s11__h4--margin {
  margin-bottom: 0.5rem;
}

.s12__tables--flex {
  display: flex;
  gap: 1rem;
}

@media only screen and (max-width: 580px) {
  .s12__tables--flex {
    flex-direction: column;
  }
}

.s12__expr {
  margin-left: 4rem;
  font-size: 1.2rem;
}

.s15__img__system--flex {
  padding-top: 4rem;
  align-self: center;
}

.s15__img__state--float-left {
  float: left;
  margin: 2rem 2rem 1rem 0rem;
}

.s15__img__state--float-right {
  float: right;
  margin: 0rem 0rem 1rem 2rem;
}

.s15__img__subscript--float-right {
  float: right;
  margin: 0.5rem 4rem 1rem 4rem;
}

.s15__table__overlay--float-left {
  float: left;
  margin-right: 1rem;
  margin-bottom: 1rem;
}

.s15__schematc--float-left {
  float: left;
  margin-right: 2rem;
  margin-bottom: 1rem;
}

.s15__schematic--margin {
  margin: 2rem 2rem;
}

@media only screen and (min-width: 580px) {
  .s15__p__logic--clear {
    clear: left;
  }
}

@media only screen and (max-width: 36rem) {
  .s01__em {
    padding-left: 0;
    padding-bottom: 1rem;
  }
}

@media only screen and (max-width: 449px) {
  .s01__expr {
    margin-top: 1rem;
    margin-right: 0rem;
  }

  .s01__inverter__text {
    padding-top: 0;
  }

  .s02__p--gap-at-top {
    margin-top: 1rem;
    padding-top: 0;
  }

  .s03__table__OR--margin-top {
    margin-top: 1rem;
  }

  .s04__table__XOR {
    margin-top: 1rem;
  }

  .s05__img__alarm {
    padding-top: 1rem;
  }

  .s15__img__system--flex {
    padding-top: 1rem;
  }

  .s15__img__state--float-left {
    margin: 1rem 0rem;
  }

  .s15__img__state--float-right {
    margin: 1rem 0rem;
  }

  .s15__img__subscript--float-right {
    margin: 1rem 0rem;
  }

  .s15__schematc--float-left {
    margin: 1rem 0rem;
  }

  .s15__schematic--margin {
    margin: 1rem 0rem;
  }
}